{"entities":{"Q705066":{"pageid":706915,"ns":120,"title":"Item:Q705066","lastrevid":63759948,"modified":"2026-04-11T15:21:39Z","type":"item","id":"Q705066","labels":{"en":{"language":"en","value":"Nesting until and since in linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2130946"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705066$A9FE8D71-4A56-43D7-8479-4D8EA6A0CF4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d8fe46707055f3cbbf25fa042f7755fa8c6d71b","datavalue":{"value":{"text":"Nesting until and since in linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705066$4FD843A0-550E-4E72-ADF7-366592BA6943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1bf9499b715aead0fde5d5f4f1bf7c18f17a9e3","datavalue":{"value":"1130.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$B096F19B-66D0-4A42-963B-3CF5C263172F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fda2b843008097467141f2c2de99a1b410da08e","datavalue":{"value":{"entity-type":"item","numeric-id":685707,"id":"Q685707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705066$7AEC1BE6-39B4-4802-BA34-A358E98F8E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705066$591326F8-56E9-47EB-B5C7-E6788F0EF131","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705066$930952BB-92BA-4FEE-A5AB-531436D6F14E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705066$BFD37453-F547-4F9A-8C83-B41254A459FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$9FF3317C-BE92-4782-B001-B841183EE2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$32D439F0-5F43-4902-B37F-C785DD9CA2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$A499EBAE-4255-4A6D-85A3-C05EDAAEC7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$9810A6C0-7FC0-48D6-9FA3-DF33B5D61D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$09F7E9D3-7A48-4833-97D5-B66F0A078D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$9BCBCCE7-A9CC-4F59-93FE-F90C8F4D2D94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7725e6c6e6e26b97e4d5178b0706d411c69c206","datavalue":{"value":"2130946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$B2027876-051C-47E7-BBB5-343DAC6AE249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486719c41d730b8fb24f507076b64a273c945d65","datavalue":{"value":"until-since hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q705066$0BABA13C-B8AC-468E-9499-7CA0C0C8EF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"328968d871e04f2a8d670c9b59c1fa98cc4049a7","datavalue":{"value":"linear temporal logic over finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q705066$84E2ACA2-8B43-4EFC-BA1E-7B43C4E1D639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf4bb08843832182e7bbb29c82343a87a108b51","datavalue":{"value":"decidable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q705066$84DA34FE-868F-4483-B054-1AD25EC604D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdb0313b5df46932abb16144ea5fad2c913d01b","datavalue":{"value":"syntactic semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q705066$96C86EE3-BDB2-4738-8003-6E9B249EF64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q705066$9EE2FC5A-2A1C-409F-9309-67BEDE583EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"110675773c122f997c8572ccb86d833a52b08078","datavalue":{"value":"block products of finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q705066$BAE582CE-7584-4B4D-8531-DA22496B9F11","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705066$AB02647D-970B-4370-A47A-7DD81B87A0D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"490284e635fd094fbb2e4cb4089007de6621e786","datavalue":{"value":"https://doi.org/10.1007/s00224-003-1109-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q705066$D3AEEE48-D852-4CFE-8DCC-B3436329D5B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a77fbabbe51b70262287bef8c4a7fe1a29b63824","datavalue":{"value":"W1978605527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$245AC6A4-09C1-47BA-B217-E7E45EEEBF41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ed03b72dc25b30da04c59aefb45f4191f88257b","datavalue":{"value":"10.1007/S00224-003-1109-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705066$7646A3C5-9CDA-4FC2-8635-836267E5EB9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2ccea7a40178ef33e16bbbeb0dac3c257bfd61","datavalue":{"value":{"entity-type":"item","numeric-id":4736862,"id":"Q4736862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$0A282DFE-260C-413F-BD50-2B7AF7B792EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf790c5aa95c76d26d7acc9f26e6ffae30b44e2","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac582fe2ffa43202d34a73283a909b679b207a8b","datavalue":{"value":{"amount":"+0.9186244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$2836FC70-4A2D-4B26-94BA-63119135D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a268163365589a0d288d821dc138c43e323937","datavalue":{"value":{"entity-type":"item","numeric-id":2563451,"id":"Q2563451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40aff79cf4f60ff56153200adfbdae89ff4844ae","datavalue":{"value":{"amount":"+0.8965964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$77B2E0F8-354C-4990-8A89-A5B35937E05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395e4d7a296ca2896cb86e2423cd681cd8f90d8c","datavalue":{"value":{"amount":"+0.89486766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$40AA26A9-3BAE-44C5-ACAD-939FB58329D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d525bb52740f29dd8d3de08c5ce20be129adc6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4304494,"id":"Q4304494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b11e9903a06c5cbbaa73ff4c9107690794ed79","datavalue":{"value":{"amount":"+0.89224386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$DFE80202-DC0E-4BB4-8F2E-3DB384E9EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f03ba18052806ef29b397f5c3308f6e6daf42f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748896,"id":"Q5748896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfeb8249747c4565085e267f41132a56f116c8e","datavalue":{"value":{"amount":"+0.87974983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$F6E100F3-9A0E-4EF8-8B0A-463286C281E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ea9d45a81c12c48a6712fd1d16b7ea361b64d0","datavalue":{"value":{"entity-type":"item","numeric-id":3498491,"id":"Q3498491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737128e3d215d1a05f2cfed9e24380782aa9ef16","datavalue":{"value":{"amount":"+0.8793838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$2E0E1041-4CF7-4E5C-A65B-325DB8452E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e192bd3b07c28bf88bec8600a654af941de533a2","datavalue":{"value":{"entity-type":"item","numeric-id":1863748,"id":"Q1863748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66667bb9f5d2b48ea4f93383ef8b881d7dddf01c","datavalue":{"value":{"amount":"+0.87593573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$D378C80B-2193-4002-BCC8-91419C2C21E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fd32e463d03137b21bb2fe383e1943074793b","datavalue":{"value":{"entity-type":"item","numeric-id":2147173,"id":"Q2147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9f460548b766e6a25f674066a1aaa292316440","datavalue":{"value":{"amount":"+0.87452644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$250A9D81-5356-4F74-8F4C-D7394D41BEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848b47eed6b7d43f5eb1ce13c9ebe8ee7714ea8a","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396850ce9550babf7ef09cc031ccbd0e1a98cb58","datavalue":{"value":{"amount":"+0.8741977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705066$2288BB0F-4F34-4429-A507-52547AE2A605","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nesting until and since in linear temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nesting_until_and_since_in_linear_temporal_logic"}}}}}