{"entities":{"Q2335900":{"pageid":2346643,"ns":120,"title":"Item:Q2335900","lastrevid":71877345,"modified":"2026-04-14T01:07:50Z","type":"item","id":"Q2335900","labels":{"en":{"language":"en","value":"SAT-based explicit LTL reasoning and its application to satisfiability checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7130922"}},"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":"Q2335900$F42B4551-B655-483E-82E3-3922FDD1DB5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5c9a4e2ba1aa12ba4891d706b5b9e9b5732900b","datavalue":{"value":{"text":"SAT-based explicit LTL reasoning and its application to satisfiability checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2335900$CD6DB67F-CFD2-4080-89AA-7255FBABDFB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ba77797340aef5cdb5c7b042183a295f6fcc405","datavalue":{"value":"1425.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$9234E458-7F59-4B2D-B31D-0BA44447F572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82832e6ead7fd0129a06a766786f66a3d6aee0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707338,"id":"Q1707338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$863D9680-B139-425B-9B67-D7347EE11654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6a536585d62e38c74bed12e5dc7618ea16138bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707339,"id":"Q1707339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$5811B4B2-B7D1-43C8-A4C1-653BB3F76FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$1DDDBB56-274B-4251-8692-1BC9F21DCAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$6EE14AB3-B0D9-4FC7-BBDF-20A3F4027C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$801F3721-2579-4F6E-BDD3-A14CF1F62999","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$C15784C8-C531-407A-9977-E6ADA98E9139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"744ff5ba1d34b10b10a5d42b057822c6d7abb013","datavalue":{"value":{"time":"+2019-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2335900$279DFC70-E302-448F-B802-FB1E6BC78A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$25783910-B8C7-43D5-88E0-40BE5ACA3510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$33FFD589-6917-4AF7-9B43-2E78DE482C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$B98364A4-9C3A-487E-9314-7101654E9E14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c70cb4f9ac868ae707fc95a879bf7e55b8505505","datavalue":{"value":"7130922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$456066AD-C14E-40AC-84BB-34D43DD2B659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335900$76D8B601-318B-44F8-8ED8-DED4D589120B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335900$1F165B07-DF86-47CB-A98C-776F8E0D004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385477356cccf39bab2e9884d9e1b6630c9d9482","datavalue":{"value":"SAT-based LTL checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335900$34D1EDE2-0BDA-4ED4-A189-2FBA063BF121","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":"Q2335900$BC0F1864-B432-4EF5-9E90-9C1CFDB49E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$A03555BA-9F65-484A-874D-A40C80DDCFAB","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":"Q2335900$E6FB9C56-A0B7-41CF-BD78-DC9B6A8F2E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$2A9E7817-0A44-4694-87FC-243A97B0A5F0","rank":"normal"},{"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":"Q2335900$293C6404-B8D7-4B0F-8A07-D2F2D93D0D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73e63da46ad72634f3f2787f78c121045ed2916","datavalue":{"value":{"entity-type":"item","numeric-id":35221,"id":"Q35221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$374CC140-4CD9-4E77-BE11-69644FF729ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$23B7E34D-B614-4891-8CBF-201795988BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3475c3a3767ecccf397c0e953871eea19487b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5975115,"id":"Q5975115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$504DED0E-1958-4059-9BC3-5F4708921494","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":"Q2335900$A8411876-14D8-4022-BCD5-1E5E23F79D13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c571bb12dc3e9778b678c140672102404c51a98","datavalue":{"value":"https://doi.org/10.1007/s10703-018-00326-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2335900$14A1CB13-A7DD-4124-A0D8-E5773E7EFAA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cff49ed2dc5e8b654b3a814e69a01b17c69a864","datavalue":{"value":"W2907580149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$78F5C98D-D85C-487E-AC52-54612D33E5C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$09F3657D-F339-4C50-AC1A-6A32EC250A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$080900F8-F2A9-4E0A-8F80-78B3D962446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$40577535-71F8-41C8-B493-9A477BB8799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf730892ec5be6c57741cf68a72855f6d08e524f","datavalue":{"value":{"entity-type":"item","numeric-id":2753597,"id":"Q2753597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$C117D4DE-FE1F-42B1-BF3C-E8805EE06FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$BD7390B8-3C08-4C23-94F6-5475F37A8DE4","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":"Q2335900$3071BB79-78D6-4194-8251-DB36D75D0B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc22e70cd29988fee99676201ee18c4ac4f87e","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$7410D658-5460-48BB-BB32-C65D070575E7","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":"Q2335900$AD5C7D4A-F2EF-4422-9C74-359707358451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dc21616495510372343ba5d18598addacd13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$077BBDC5-4D1A-4055-9D40-59BAD5165AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5f3cd0c0fdd70d2eae3e5f69e2ee0aa687d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$DDC2B2DD-10D2-4C6F-B28A-D47F20B034F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dced7fd9d1f2d0b0d6bc79efb06acf36aab2e44","datavalue":{"value":{"entity-type":"item","numeric-id":4928458,"id":"Q4928458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$BAA6F99E-7A7F-43DD-98E9-F56964C675BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4a4cb773b3f0abdd71f34b580fa03099379204","datavalue":{"value":{"entity-type":"item","numeric-id":4612433,"id":"Q4612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$1E55FA7E-F827-4DCC-844A-FF1FF82142C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca60c6bd18a73ea64a5c853bb097ca2240be4eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$2B316166-FA09-4E0E-8956-0B733C434702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$3E444128-4883-47B8-872C-3200D8977D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$56F00002-45E7-45C4-B26C-AB19BEF056A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$2FBB601C-582F-44D3-A3EA-D9F1844D0EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$3338BFE0-091C-46EA-9C98-A6CD575FC669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$A479C61C-99BC-40F3-9A3D-0F3831D56A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73704e8dbffb045c3ce8739b2a93ec63c12a0f89","datavalue":{"value":{"entity-type":"item","numeric-id":748758,"id":"Q748758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$883B68E8-9D7A-4BB0-9581-E97E904C6394","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":"Q2335900$5E6A357E-2D0A-44BC-BE58-6461D02034B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa63a21cb719aa558222e24addb7070a185cba4","datavalue":{"value":{"entity-type":"item","numeric-id":2441724,"id":"Q2441724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$B409027F-BD10-45C9-8304-FB617FEAB394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48984cc6382065ff46c03cdfa549e82f9d0ac2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3204443,"id":"Q3204443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$87C93638-7DF7-4321-A1E4-74CE497DFE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1160b0a3e60fcc28709fe28f63964eb66d531b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4928457,"id":"Q4928457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335900$E82536F6-B59D-4C78-B329-8FB7F308CEEF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d7e8e4ea0aea1d3e72c376300c6d9e576f0eb8f1","datavalue":{"value":"Q128686846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$624A1E31-9561-4DB4-AFF3-99FF8DA72F3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b15e8c7668dec04c0d5c9d692a39e541970ceb40","datavalue":{"value":"10.1007/S10703-018-00326-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335900$6F720CB3-0822-4439-9046-EE39569F28E2","rank":"normal"}],"P1643":[{"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":"532fad8358a92610c5aabf7d0f43a97e631ee3e5","datavalue":{"value":{"amount":"+0.8709474802017212","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":"Q2335900$2A72B58B-1C0A-4144-B0C6-7C7554DFA584","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":"098d7118a2bf4035084e12e93c76c71c5f3b9471","datavalue":{"value":{"amount":"+0.8536931872367859","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":"Q2335900$090947D0-648C-42FA-AB56-E649B3B43E04","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":"754c05792ae74cd2e84a76b74273b09c556890c1","datavalue":{"value":{"amount":"+0.84112548828125","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":"Q2335900$207DA4D0-3E18-402A-8EB9-5C5E983DFD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693881802b6cc0f44eeff84dce1d07b729da216a","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13643add3049237b34778ad483a03af3989eff06","datavalue":{"value":{"amount":"+0.8208544254302979","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":"Q2335900$07A01E1A-FEAF-48F9-8FD2-5BCA6B1BC2B8","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":"89b41bdfbe5a30af0ce59e22246d013707b5b299","datavalue":{"value":{"amount":"+0.7903971672058105","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":"Q2335900$FBA50E73-A1FB-4D72-8D4C-FCB0CCC0DFF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based explicit LTL reasoning and its application to satisfiability checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-based_explicit_LTL_reasoning_and_its_application_to_satisfiability_checking"}}}}}