{"entities":{"Q748758":{"pageid":750607,"ns":120,"title":"Item:Q748758","lastrevid":64043484,"modified":"2026-04-11T17:15:25Z","type":"item","id":"Q748758","labels":{"en":{"language":"en","value":"Variable and clause elimination for LTL satisfiability checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502260"}},"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":"Q748758$9E3EC5B1-A96B-45EB-A06C-75BA2A4FCE78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15b5ec49ef2ac05ed4593d4c04822bc0af7eadd0","datavalue":{"value":{"text":"Variable and clause elimination for LTL satisfiability checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q748758$1D331B8B-B0D9-48B0-9158-AB3BA9657A11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53552b873d2bb5b88fd1e405aff1fa3d8d422a99","datavalue":{"value":"1341.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q748758$BDDDACBF-6837-447C-81ED-E8A982B40336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$4D4CB7A0-FE13-41A2-A8D2-60C9EEADC9E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$8F3637F9-537E-4BA6-9BBC-B35DBF6A77E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q748758$9A827C3D-7B52-49D2-80EA-5EC8B6533CA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b479420430358ec15790e62453b4be62cbf48fb8","datavalue":{"value":"https://arxiv.org/abs/1306.5539","type":"string"},"datatype":"url"},"type":"statement","id":"Q748758$E4D9465A-B9E9-44DC-B46F-C36A3A833C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q748758$4F76930B-2BCE-48BE-A606-1570EFB409D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q748758$018D5400-BB11-4BBB-8D14-816D203E3BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q748758$16D91560-07D9-4D45-83C8-16D07B2FC55E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb7c7ba15dc76936f0781e0e7633457c9600c04","datavalue":{"value":"6502260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q748758$85C021FF-D8A7-42BD-969D-6630C57A9996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q748758$C59A718F-F3FA-440A-9AA5-F893A5D20BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q748758$ADE38939-0191-437F-8893-6896F374CAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36957d7e632ee938df3990fd3662ec253f74cca5","datavalue":{"value":"preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q748758$DD39BF81-1C1A-425F-BC0F-6EFDB16F025D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$8875BA46-4857-4FC3-89DD-28ADB1338064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$859A0BA7-DC52-48A7-A878-3A1FCD62FBB2","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":"Q748758$36BB6A97-E4FD-4A4C-A0F3-941F9311900F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbe74def2aed14b2a976d9c2e34318789ad8a494","datavalue":{"value":"W2168918137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q748758$932DC584-19B2-46E2-B264-2480880D54D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df702f751e61c43c04859300e810f7f82e597edb","datavalue":{"value":{"entity-type":"item","numeric-id":3146301,"id":"Q3146301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$A36369CE-E64C-47E5-A48E-F0FE72CDC6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$1C2F5D90-15C0-4653-9627-6305F8D37401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939cf83495e80d5f1a10ebf54229516c3f0a9d61","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$9A6EBC90-0A53-48CC-B32F-1FAAD9127DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$5292884A-5883-41B2-AAA9-894F07D57D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$15138A7D-8486-4E8E-8F40-617D667547B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$CA69814C-C475-4C72-9BCC-FF2C1529EE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$220CACCF-DB0A-42B8-B3F7-6EA22899724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$2EACE308-49A0-4B56-90E9-1A467EBA104D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852f71178dbc9d0684492ae16efe59e7249b1c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5757229,"id":"Q5757229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$9080B3E5-8616-4869-871F-99F4FE850BE1","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":"Q748758$668FB946-FC38-4113-B4E7-1256C617BE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e7d910e923900f81e91395ec921468d0b40d56","datavalue":{"value":{"entity-type":"item","numeric-id":2891470,"id":"Q2891470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$B976AAE8-12C2-4FC0-8B8E-E94E3046A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366c228a0fa7b9eba8d6d2c839cc7bcc36a26709","datavalue":{"value":{"entity-type":"item","numeric-id":2908524,"id":"Q2908524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$409B328E-9AB0-4604-8D53-0902BD9E5B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q748758$0CDBE948-B7D7-42C6-A14F-26F714597825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d742983fca34d1a514b6855b8c4d3204bcacd852","datavalue":{"value":"10.1007/S11786-015-0240-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q748758$4F7C90DB-4A68-40DA-9B73-41FC6C6B26FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33100ac7b03d4c6b95ba99f92db5098faa7a7d4f","datavalue":{"value":{"amount":"+0.7933400273323059","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":"Q748758$229F4046-C55E-415D-AF36-ED5CBFB72379","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":"944df1e8e3a7437c3104f4de3dac54f6de4aea5a","datavalue":{"value":{"amount":"+0.7879239320755005","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":"Q748758$91B39F66-3C9D-42FC-9644-B6F10972E1F6","rank":"normal"},{"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":"9e3e262689e2d53b00d7cb7076b5fc874f93ba8b","datavalue":{"value":{"amount":"+0.7787039279937744","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":"Q748758$CF55BCA7-DB5C-4F72-A43C-CA9ABCB3B4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55558c882eb537dea8b4ed637072d46a41d3d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1707341,"id":"Q1707341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bcb1ff31fd4bce24cfc63e64d88dbf89fd52b5","datavalue":{"value":{"amount":"+0.76943039894104","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":"Q748758$9709EE7C-48CF-402E-839D-DCE5B7544231","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":"32553daddc87408c80c54c0622762a889159853b","datavalue":{"value":{"amount":"+0.7669996023178101","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":"Q748758$A48B471B-056B-439E-9B9C-334C89606F69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variable and clause elimination for LTL satisfiability checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Variable_and_clause_elimination_for_LTL_satisfiability_checking"}}}}}