{"entities":{"Q3172864":{"pageid":3183574,"ns":120,"title":"Item:Q3172864","lastrevid":51341843,"modified":"2026-01-17T20:25:27Z","type":"item","id":"Q3172864","labels":{"en":{"language":"en","value":"Completeness of the bounded satisfiability problem for constraint LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954743"}},"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":"Q3172864$F5AA834E-E2F0-4EA7-9B36-CDDBEFEE6A75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b0e79473a39b523806d265c6da6206bcc69ff4","datavalue":{"value":{"text":"Completeness of the Bounded Satisfiability Problem for Constraint LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172864$F34D1E32-BCF2-4A51-8CA9-748037B0B756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"408d8fad44e87ac89a4bca8e2c718558670eddc4","datavalue":{"value":"1347.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$661E7128-36DB-4EA2-A817-A90258E3942E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2562921d3152a762fe52c871fa76b14e82abed9","datavalue":{"value":"10.1007/978-3-642-24288-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$F3085B00-21EF-4E72-8CF3-8FE94A4253A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a0e27373663474dfb6f73cfa90e55043359faa","datavalue":{"value":{"entity-type":"item","numeric-id":262134,"id":"Q262134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172864$9401C101-8759-4D59-806C-9DA25DBA02EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ab765b0cd805a0d720c0c32f8c71c92c0bee69","datavalue":{"value":{"entity-type":"item","numeric-id":370813,"id":"Q370813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172864$AE4D9420-D7FF-4F33-9A3C-52E8886C5662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172864$8C39B8A6-90DC-4C2E-AA82-6FAADF0FDD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172864$CABDD568-460F-4235-9936-1BEE2B9FAAAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172864$134DA163-6D7B-4EB5-AA0C-3119001B046D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172864$64000F8E-96F4-4B06-9D3A-1441B850EBD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$85EE0F2C-4A29-4432-8673-6EE55BBA472F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$311223E4-3F87-43DC-87BC-CACC923E9ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$A13284CA-4B56-4D2A-86DD-F29B1D13119D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$B1CD75EA-7725-4B81-BCB8-B4A3AD86DF04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a59a9c7dfab97cb90b4f4fea7272bb19399d2550","datavalue":{"value":"5954743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$0A1AB033-3305-461C-B9BA-066C81AB76AF","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":"Q3172864$E4522F87-9512-4DBA-A667-491446C0510A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccab20a5eb43d43b0392859e32bc71db79cfb0b4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172864$53775DB5-A74F-4010-98BE-F747E589D4AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e646df991dca19a5f42346b41f1288c235e558e5","datavalue":{"value":"W11196356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172864$13441988-3E1F-4222-913D-B94E20FFB35B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a523bc57602f5baeefda17c122f742e39fff24ac","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6844916140e139718ae6e0773b09659b52f51b","datavalue":{"value":{"amount":"+0.8036134243011475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172864$7A8474CD-2EFA-470B-B10D-07F6E956F7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd5f2c25d43b6be52833c6f18150181ed72da30","datavalue":{"value":{"entity-type":"item","numeric-id":3656780,"id":"Q3656780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d816a1bac057a72ee6539a9684643fd82dd1d89","datavalue":{"value":{"amount":"+0.7682003974914551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172864$BE4DCE77-5F80-4001-939A-C9E6707C81F6","rank":"normal"},{"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":"88e967abdfbd0c4f83a66bcf26e4cc764ed74fa3","datavalue":{"value":{"amount":"+0.7673771977424622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172864$BA9C4BBC-2DC4-478F-93AF-DCEE4F96B5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25233e7eb47f7098522faf6316788821040861b","datavalue":{"value":{"entity-type":"item","numeric-id":5009450,"id":"Q5009450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e967abdfbd0c4f83a66bcf26e4cc764ed74fa3","datavalue":{"value":{"amount":"+0.7673771977424622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172864$128731B1-85EA-4195-9673-F842AD54E904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3fb68e231adbb74c2f5cf9faec77fee02e163c","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9d5641eb9d0e3e7cb107d28eb138336cfb6e32","datavalue":{"value":{"amount":"+0.7641934752464294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172864$CFF6596D-9641-4F95-A0C2-4A99E0670FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172864"}}}}}