{"entities":{"Q472802":{"pageid":474569,"ns":120,"title":"Item:Q472802","lastrevid":56995485,"modified":"2026-03-25T14:04:39Z","type":"item","id":"Q472802","labels":{"en":{"language":"en","value":"Constraint LTL satisfiability checking without automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371455"}},"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":"Q472802$5B5B0548-9372-45FF-AE4B-D8230E3DE9E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b2ae9b9e51cbd88c334c847d94464f0bc966e50","datavalue":{"value":{"text":"Constraint LTL satisfiability checking without automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472802$8C532B82-4C2D-43A8-AE45-2330BBB0AC94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ea7d4368e17210ac767a2902cae810680c8684c","datavalue":{"value":"1310.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472802$941D4F17-A9DE-41D1-9D4D-552D22FE9E30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41ba6f4df62dedbba7cbafdb6fab7c6ba62b5178","datavalue":{"value":{"entity-type":"item","numeric-id":398285,"id":"Q398285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$2CE638A5-FDD6-4961-89A2-581B0E2014F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$14E4715A-6304-4AF6-B3C4-DD826BF190AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$73DDF3C9-FAC5-4D71-8241-3AB2EA436F58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3de48e2e76c851f8e0c9de42930ee2e3fddbb57","datavalue":{"value":{"time":"+2014-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472802$E48C1B7E-2417-4476-88DA-EEA9DB99A0B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13a0694ae2bc4ab6869b2f624eb459b30b75244f","datavalue":{"value":"https://arxiv.org/abs/1205.0946","type":"string"},"datatype":"url"},"type":"statement","id":"Q472802$64282CB3-9DB2-495C-BFA6-3497C3D3F508","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472802$9138681A-AC53-44B3-B4F4-31658D3A61D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472802$9143DC7A-9F71-4BCB-A561-C361AFFAF2A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"972220998afea98dfdb35efd38e20c7ddb41ae42","datavalue":{"value":"6371455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472802$DA67CF20-D512-42EC-B3CA-C52F9FD81D7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q472802$2219E5CF-22FD-41A9-91EC-792EEEECFE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00952d8c02be0f5091bdba500fb22728efaf99f0","datavalue":{"value":"constraint LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q472802$684B29D5-6CB5-4792-8992-47FB4645162E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e70a8fc442697155850789a3e3931cbde709865","datavalue":{"value":"bounded satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q472802$80304044-C94C-4112-A17F-3DDBC3D2DFFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$FF121520-A4B7-451A-912D-1284737FD4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$5D0C9ABB-7556-4D19-AF02-3B7F7963D5EC","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":"Q472802$4EB729B4-EF36-47C8-8943-E85AC2FD3F28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b735abc3d6a28363c40e2577eece09fcc04ed009","datavalue":{"value":"W2162541148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472802$2BB54AAA-2589-45D0-B6E5-414863E18843","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$C349E1E0-BB0A-42FE-B9F0-4FAF0B493A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$B40BE376-287D-4F71-9D5E-EF6732E5056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d584ef02ff014ff7b98df140415271ae19a73","datavalue":{"value":{"entity-type":"item","numeric-id":3172864,"id":"Q3172864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$39546C37-CC2B-4D6C-A1CA-7D5CF224415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61740ecbf6a6fff8312c53cfdd13a6408719c9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4992507,"id":"Q4992507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$7D252FFF-EFE7-4C93-8C33-76D62E7A5143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$D4753E11-EC5E-4FAB-B140-F99CA8B62402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$DA8FFDD5-90A1-41A7-AF7E-DF0D5346A158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$F0E5CA80-53FA-4BF8-BBD7-013818C0E1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$25AA26F8-7271-4326-AEB4-4137A6AD4438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da6ded218db8e1aba2fc38982f0c41333c8292d","datavalue":{"value":{"entity-type":"item","numeric-id":4809077,"id":"Q4809077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$4B503C0F-B84E-4694-A548-8F97AA4B30B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3af676bff5e82e53f6ac61c4598a8f6ab0eb6f","datavalue":{"value":{"entity-type":"item","numeric-id":5308446,"id":"Q5308446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$EBA6C744-869D-4AA0-BECC-F4006D493EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb0fa90ee86e27dc86fd9982297b68bdbb64485","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$B7B3E85E-2CBC-4F60-A3EB-FC6AB15BB093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$E40E03D2-38C5-4150-835C-A244037B9143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f4a51f2a304a8e489f6f3a4791f119c360160","datavalue":{"value":{"entity-type":"item","numeric-id":5897505,"id":"Q5897505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$28ECEE86-D0D8-48D3-8CDD-3E522BC13263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4310221850ee50b50f7dcfe7875726d390b1992f","datavalue":{"value":{"entity-type":"item","numeric-id":3656780,"id":"Q3656780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$4D6D0F38-FFF6-4025-B940-E8F14CBCEE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8c68f6ccbf13c46f9f52bbeb1df847a2fc02ca","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$FFC2DC44-16FA-4459-9054-D2F598157D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$B399EABE-7737-45BD-8EF8-A00836F0E55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$DA4925D0-902C-49FB-A6AF-F104F3A0714A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e47862a3d8d377cd3390980674947d2e9d9b95c","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$932F64C6-B636-485A-AEF1-9D6E989C3521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472802$C1F9C440-71DE-4FE2-A8A4-73E069F00D2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7206f6ed6c36b56ec5c618e226930db2df635e86","datavalue":{"value":"10.1016/J.JAL.2014.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472802$3EA1E394-3F9E-4B1E-A186-DF32F7ABC7C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f4010920bd191f8a291c27d1d67c30e4dc1c69","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ab610bd6c34d23c8526877845e3f83caf165b5","datavalue":{"value":{"amount":"+0.91347575","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":"Q472802$F507B5F9-B3D7-4464-8A16-DDEB6E996D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ab610bd6c34d23c8526877845e3f83caf165b5","datavalue":{"value":{"amount":"+0.91347575","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":"Q472802$2806E0F5-5F0E-454C-AA2C-232815F44FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3383aee9a50302aa883ab2b30b18bea8e0a22854","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defb4273fdb2a825d6f011065c9392bc802cd163","datavalue":{"value":{"amount":"+0.91161674","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":"Q472802$794A822D-37B8-4F76-83AD-F1D21D4845ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec1845d5b805a33a9b6dc48ef7a1a69c506e41c","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4e4ed390863503f8a73b77d34ffe69f337cb3b","datavalue":{"value":{"amount":"+0.9053188","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":"Q472802$A577CFB6-109F-42B4-A553-E87E66AB4065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9ec0decb7be3be1b5b97b74f6d05bf61c3d572","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2733f0846d7791c7f4adf99df108a861c11e3f","datavalue":{"value":{"amount":"+0.8979528","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":"Q472802$A45D0831-B825-486C-98EE-34B46E24D417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e285b1a9095f370590c24f79161dd94db6b4d9","datavalue":{"value":{"entity-type":"item","numeric-id":2335900,"id":"Q2335900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6087e23c52b4747b4cafe411fc8f1a85fa012e60","datavalue":{"value":{"amount":"+0.89752734","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":"Q472802$D3B453B0-C29C-4EAF-95B9-32C96A57EB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747fa5455a63cc89e9a91d2e5401febe696e1381","datavalue":{"value":{"entity-type":"item","numeric-id":3172864,"id":"Q3172864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1525396a009f7d160857441df043bc8c27e9ca56","datavalue":{"value":{"amount":"+0.8927599","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":"Q472802$FE3FBE09-5533-42CE-A209-EBB1ACDC0ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99efe65a80694c2247f8810e011b1b26faef365","datavalue":{"value":{"entity-type":"item","numeric-id":4612433,"id":"Q4612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704271029bee822e603a8a17d50d43e6bc3fb906","datavalue":{"value":{"amount":"+0.8883984","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":"Q472802$DF615736-A93B-49C0-AB7D-A885469A2977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:472802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:472802"}}}}}