{"entities":{"Q5404927":{"pageid":7434501,"ns":120,"title":"Item:Q5404927","lastrevid":75624076,"modified":"2026-04-20T10:15:58Z","type":"item","id":"Q5404927","labels":{"en":{"language":"en","value":"Counting Models of Linear-Time Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275874"}},"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":"Q5404927$809573F4-C2D8-4BEB-AFDF-9D094ABDF5A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c476edded9dd26fdb9448458ca977f1356bbe3f","datavalue":{"value":{"text":"Counting Models of Linear-Time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404927$93CE8018-8F46-4A96-9F67-CF6430A30608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54a24fd590d533d15ba481e19bf1ccc0215aee6f","datavalue":{"value":"1407.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404927$3EAE4534-AEE3-4D61-BCF7-32BD844EE06C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"635a40e8aeba5f775ae10c47cd8b38157eb5d21d","datavalue":{"value":"10.1007/978-3-319-04921-2_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404927$4A83957C-F8FC-41E0-ADD9-14F07DA6B81A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404927$CF9CE433-F8DA-4B13-9E25-53C9FA47EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e6ca78795ba5f1656360fb5231707af1dab8cb","datavalue":{"value":{"entity-type":"item","numeric-id":832290,"id":"Q832290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404927$795B5DE1-633A-4F53-91DE-E81896A0F039","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404927$9CF0F672-2B94-4358-925E-684877C449C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e689efeed0c46be7915f5b012baebda52ae8ac8e","datavalue":{"value":{"time":"+2014-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404927$F5A68CF9-BF76-4AB7-9CE0-9188B5BF9E96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404927$9796BA12-B979-4FD3-8FF3-05C786B9F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404927$17245693-AA7B-4325-B87F-2DFCD113DDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404927$0C7FB2A7-D066-4335-B374-DEB63EBAEFF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3058dfcd97d13fc830e8aca415d4be488164e139","datavalue":{"value":"6275874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404927$2F46336B-AF36-40DB-9DDB-4945DD206578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404927$D4046368-0AC5-46C0-9A88-008D66259AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404927$3B6AC1DA-E014-4B0F-BDF0-9AA5566C294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404927$B622A355-EE7D-446D-B2AC-14AABE1A2917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404927$1CF8F8F7-0C7B-4B82-9FD9-51DA08C05258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404927$A4FD0CB8-7BD8-4104-ACB2-A6A9B4CECD95","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":"Q5404927$22AF5927-F21F-42F1-A179-5286EABC062B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7b63a2ee0c7606c071866b48b19a4373c3d9c0e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-04921-2_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404927$A2F8CFDB-9028-4C70-82E9-503EA34DE17F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cfe676389264e97ed8686196e947ab0d85c57aa","datavalue":{"value":"W82353766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404927$64A0C6E9-73C3-4402-A668-9F9D42E08F0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc7ce74e3b0791a3e816f777ac5c55348327b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2978517,"id":"Q2978517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1d9f398a2899b4854af0d49d8cdaf6f21fe210","datavalue":{"value":{"amount":"+0.9751693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$917C49F9-874F-4217-AD7A-09758BE83BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f22a1e45620c5baef8da6caed8d5539623fede1","datavalue":{"value":{"entity-type":"item","numeric-id":1745344,"id":"Q1745344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1d9f398a2899b4854af0d49d8cdaf6f21fe210","datavalue":{"value":{"amount":"+0.9751693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$19944A8E-EDE2-4E6F-90F2-FE43811A018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf579e042aedda8024390cee4e11fae59aec7e3","datavalue":{"value":{"entity-type":"item","numeric-id":5111643,"id":"Q5111643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113c0c3613d91cc30e31d3750102f2f288616984","datavalue":{"value":{"amount":"+0.9215568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$D83F2F9A-C355-464B-88E8-46A695113C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cd83ccafccc2fbcd705a8d6d446c4166c2f692","datavalue":{"value":{"entity-type":"item","numeric-id":418179,"id":"Q418179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d1278c1f5838de6b4e5fe8cb312239c3cc8c61","datavalue":{"value":{"amount":"+0.91209507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$FDC3D86D-F658-4BCC-9321-EF5985D2C40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214ff23f3b1d9be776a390d653a618fd8e0d2f03","datavalue":{"value":{"entity-type":"item","numeric-id":2958532,"id":"Q2958532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c0687b3bcc7653eeb3a5541335f2b33ff5778d","datavalue":{"value":{"amount":"+0.90768933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$B4233A9D-21A7-4EE9-B12B-B7E9AC8F303A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58013e5255b0c928fa690d69c476ddda103a3045","datavalue":{"value":{"entity-type":"item","numeric-id":5168514,"id":"Q5168514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9253879102256f80f8d108ef17eec8562a0a88c","datavalue":{"value":{"amount":"+0.90527636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$BA39E057-43F4-44FA-B7C1-1792BBF72000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1af0834574dfb35fc0521b6a724c47f8c43de2","datavalue":{"value":{"amount":"+0.89772534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$BEF4009F-0FE3-4900-BB4E-4E3D3AD063D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf53c1f2ed62ea3a169026b4761ea4ba5c28436b","datavalue":{"value":{"amount":"+0.89745736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$4F86E483-2FD2-4EB6-ADE2-FF0BDB66E5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c4a13ab880a66cb682c3f76cea9a1a9b8dc7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4926927,"id":"Q4926927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b5ddac521db1f1130089b7902a3555c75b5ea6","datavalue":{"value":{"amount":"+0.8913312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$A233B75D-7B6D-4A60-8A6E-0E99AB0E6358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83637d5dc13270c74bc09a9f0f5dbcc6a6f5825","datavalue":{"value":{"amount":"+0.8912651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404927$F2C98A6C-09DA-474C-8918-A6F9EC015AF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting Models of Linear-Time Temporal Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_Models_of_Linear-Time_Temporal_Logic"}}}}}