{"entities":{"Q5458321":{"pageid":7487880,"ns":120,"title":"Item:Q5458321","lastrevid":96234659,"modified":"2026-06-05T10:45:01Z","type":"item","id":"Q5458321","labels":{"en":{"language":"en","value":"Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262361"}},"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":"Q5458321$0DBF643F-E0BF-4FC4-A88B-17899FE982EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9af45f1a59b9463b635d73e4f9223edaebfb437","datavalue":{"value":{"text":"Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458321$0E59BB3C-F33C-4AEF-A931-61842CB55AE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40963f484aad0bc48bfb9d7d6555076d7686e16e","datavalue":{"value":"1134.68404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458321$1CAA985B-7F36-4C70-88CB-F8279D044916","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8d2a9fbb6a2c9693aec343eafdee62fbb9eaa8c","datavalue":{"value":"10.1007/978-3-540-78800-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458321$383552CE-7182-4684-B2E1-8C72271D9E2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b25b732b7b492db515136b3ad5294eee86a947a7","datavalue":{"value":{"entity-type":"item","numeric-id":1028727,"id":"Q1028727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$62E12728-95B2-4120-94E1-E2870D378BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$3A20F025-74B8-4BD9-AE6A-61F2F506F09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39c8a721610e7be218d4fccc4e935652b328d763","datavalue":{"value":{"entity-type":"item","numeric-id":1959652,"id":"Q1959652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$299EA80B-91EE-4251-A410-8A63B5CF3C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$B5D0634B-3654-43AC-B911-6EACFC7EF483","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$7F1F3606-90AD-4DF6-AA42-F41E361C28DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458321$EE749BCB-9BC2-4BDC-8E90-708990E71872","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458321$144C6284-AFDE-4447-97E5-8F6E8D566696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458321$2B5FF38D-9FBE-4F92-815F-07CBA5BC0C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99aefc1664b84deb6f5db63592b5624ff000609f","datavalue":{"value":"5262361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458321$808E59D3-08ED-412A-9BC2-23971C9DE932","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$27B763DF-68B1-4911-8CE7-7D9DCC090591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$B96E5D8E-1F25-43C2-8AB6-E00774AECF97","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":"Q5458321$EC995E5C-1044-4E8A-88C4-5A437F25C4AB","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":"Q5458321$D4D0A9B1-3770-4E36-98DC-160D9F928AAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53224f8c7de8ae0106be1bdede3aa0d4d75f5158","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458321$1E2C149F-D4B1-4CB4-A9BF-28BB899F7668","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5c5c4b82e076e0e3b6d0d5ab138e0e1d90a3539","datavalue":{"value":"W1592306554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458321$FB414227-84C8-4C54-B3A6-213774164D3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616c18c9f25eca63c3b073680f3df7741357783","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$C4EAEA65-EF9C-4143-B8BE-434C6EE92C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$71FE9FB3-E8F7-4F37-9EF6-A3F09F0A9515","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":"Q5458321$51129317-CEB0-494B-BF51-75727B4DC3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$7D027441-4D7F-42F0-901C-9F7AB18AD7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e41e590ac256592516927020d2f60958d61dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$D5C29B03-7533-4798-873D-83C68C68D5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84bb92277de7124ceeb976bf454284832a8a249","datavalue":{"value":{"entity-type":"item","numeric-id":3559779,"id":"Q3559779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$CB32FEC2-1E9D-42BA-98E5-06E76BEC7ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$1C4F7647-2790-4651-B263-57BF5BFD43B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e409e52b45711b71923ec79d5ed3e4d06b759","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$41F26993-7B31-4620-87B3-0DE4E24C37C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$38758A27-DD28-4127-9B57-9C1D7BFC4854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7945a177b7df9279d2abc448c4d3d682b8426a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$7DF201A8-31A6-4630-AD57-48CCBA4427F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$032E8699-9749-4388-95B6-743E989CCCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9282021d413096ba59e9ec4d42d5d045c6f221","datavalue":{"value":{"entity-type":"item","numeric-id":3334086,"id":"Q3334086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$E1F44F25-DCDA-4143-B4D6-FF1F61D48435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8f3e556a036d9cde6ead5edd91ca41b711b426","datavalue":{"value":{"entity-type":"item","numeric-id":5308383,"id":"Q5308383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$49E1F364-9B4C-4C15-8A92-714AC792EC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2c28d606a3b4697b85ebd76f1d9cdcf25452e9","datavalue":{"value":{"entity-type":"item","numeric-id":5716576,"id":"Q5716576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$85585273-F122-4936-AD83-30E9338B6A15","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":"Q5458321$AD3ABC33-464D-49A9-BC26-9DAF0D7193D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458321$4C94448F-65FD-498A-A288-EC346A296A8D","rank":"normal"}],"P1643":[{"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":"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":"Q5458321$EE17AFAE-7FC7-4B49-9082-440914C581A7","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":"630ba0a8933cc203eeb46c8dfad28ba9f451781d","datavalue":{"value":{"amount":"+0.8203193545341492","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":"Q5458321$E6FD4ACD-487D-4E3A-B3D3-E00ECF0DA188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd657482bd263d4c2eaf8ede8c991f182bbfdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1623115,"id":"Q1623115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56c6c32a084dbe415ae4be831a3821438fcb882","datavalue":{"value":{"amount":"+0.7794100642204285","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":"Q5458321$5C103695-5C51-41B3-82B3-FAB73E83D33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef729d20963c97b9e0d471d5c446dc0f0dabbd12","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499e1fcb2ca2a9d092e3f379f8441fec7c219c73","datavalue":{"value":{"amount":"+0.7727540731430054","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":"Q5458321$38E33B83-CEAB-478B-9432-36DEFAF7B24F","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":"0446837d6a4555bfb1be07efb0c696a49accc878","datavalue":{"value":{"amount":"+0.7717742323875427","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":"Q5458321$8CE4759C-EFC1-44C6-90C2-B976553D4910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Antichains:_Alternative_Algorithms_for_LTL_Satisfiability_and_Model-Checking"}}}}}