{"entities":{"Q2149965":{"pageid":2160708,"ns":120,"title":"Item:Q2149965","lastrevid":71411082,"modified":"2026-04-13T22:05:56Z","type":"item","id":"Q2149965","labels":{"en":{"language":"en","value":"Parameterized verification of leader/follower systems via first-order temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7548213"}},"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":"Q2149965$D35346CB-D556-4202-927A-9B4D6A6D3B07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03ab0205c91566f86b3bbd297d69e3337574886a","datavalue":{"value":{"text":"Parameterized verification of leader/follower systems via first-order temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2149965$C1CBCF7B-2333-410D-AAA7-C2B800A47051","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b85d72c0e8886f886c160db1c7bbcb94347b6475","datavalue":{"value":"1492.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149965$D98C6C32-4464-4058-BB16-3A413953E477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$D4799B61-6369-4ED6-A216-7E8879C50DDF","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":"Q2149965$31C3BF20-D0C8-4215-9738-791E8FF1D72E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dba42a7602513fad0c1a043c5f7fcf442ea1271c","datavalue":{"value":{"time":"+2022-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2149965$21FE8EE4-990D-477B-BF5E-FBFC52AE5DB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149965$A4C24A30-A3EB-4CC9-81C6-6EB6CC98F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149965$A5384839-77EA-49BA-9BE0-7B6F6E7C2446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149965$BAD21E29-A048-4305-94A2-3804495C274B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7b20e5d73ef7789e652b9c80cd3e03d24872c5b","datavalue":{"value":"7548213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149965$FF311A9E-C36C-41B8-8972-273D88218523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149965$D9058C3E-D493-4868-9F90-FF8E172AC10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149965$0AFDDB43-7D18-4AD8-A1B3-87BDBB2B0415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149965$25A056E4-DEDF-4901-A5E8-88E2654F4CA4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"257ad6d8f8a34d3b938ce0839d1288673e8cec10","datavalue":{"value":{"entity-type":"item","numeric-id":18659,"id":"Q18659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$3BF6DDDB-C2CB-4954-9D27-3D85348901EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99667ff6306724dbe63bc589a546934d523de225","datavalue":{"value":{"entity-type":"item","numeric-id":21966,"id":"Q21966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$4D738A5D-A903-49CD-B6D7-90B3FD7CC945","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":"Q2149965$27927526-10A7-4520-A204-4FEA1A46651A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43746bad923073ec11666af4764d05e9074739c3","datavalue":{"value":"https://doi.org/10.1007/s10703-022-00390-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2149965$807B89A3-E841-497D-A3F3-94444C64D5A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25272433020fb00208ae25f724f42fc2463f57da","datavalue":{"value":"W4221113141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149965$6F7E57DA-66C4-4514-AAD7-E49631189880","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572eecb00493319f4f0c2553a162a2ea97adf47","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$4042F632-A8AA-4F91-B494-DE5931272104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0506cfb35678e3cc52fe11c1fb3b612d22b2fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5756597,"id":"Q5756597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$BF175A0D-E685-4788-BD2B-72FC1388FBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3266cf602e4b81412055fec8ee73f4f237700521","datavalue":{"value":{"entity-type":"item","numeric-id":3653523,"id":"Q3653523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$BF14585D-A247-453D-8477-4D1DD4D51367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b024f968ab39eecba87b54091254c36a354243e","datavalue":{"value":{"entity-type":"item","numeric-id":5277744,"id":"Q5277744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$35A786B2-E788-4E1F-BFD4-1BF89DB6119D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737bbc78d162e25488174522de8ced65cf9e7a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1863826,"id":"Q1863826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$3AA28F81-5EDE-4C4A-9B99-E6A75550FA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88513da3b40e8d94cc45b6d0ad9dbb72de7a7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$DEC6BD34-D569-4AFD-8E9B-01153C35DE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1db79cd02bf48eb9ff300e96e304907453d18ac","datavalue":{"value":{"entity-type":"item","numeric-id":2494726,"id":"Q2494726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$D7842A52-DB89-431D-8C4D-B52A65818A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcaeb2387760ff0a027bbef0f75f5598e98f0abd","datavalue":{"value":{"entity-type":"item","numeric-id":851137,"id":"Q851137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$78D85D28-34DD-4043-BD56-0F310E1280D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4ab0d0a71f7d45ece8f5be5dd1cc3589112f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3623816,"id":"Q3623816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$FB0DB047-6AC1-4C6D-B515-9BB4B5584EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$468AE7AF-D01A-46E4-884E-B63D07A1136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5dfbb5bd6c7d89dd077ac227b69a104533f344","datavalue":{"value":{"entity-type":"item","numeric-id":5307069,"id":"Q5307069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$3D08B4C9-87BD-421A-A9F9-ED297FFC23B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e354eb56d1cea816c283aaca8bcbdb05e7271a41","datavalue":{"value":{"entity-type":"item","numeric-id":2486579,"id":"Q2486579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$7F6D88CD-5272-4E19-9C20-B20400283A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e64e37a9bca4f33369c11fe6722f9a1cdd167b4","datavalue":{"value":{"entity-type":"item","numeric-id":5191107,"id":"Q5191107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$2746E06F-A00C-4535-8D7A-1691CC825A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a20135e39458ab90aba74357e707069bdc3754","datavalue":{"value":{"entity-type":"item","numeric-id":3568221,"id":"Q3568221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$973EE705-FEEA-49AD-89F0-7861090FDB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$6DDFCD21-7B7E-4B34-A705-297A99DC6B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$929126EB-7FAD-4087-B22D-178468A34409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651d669f2b6e600c429f900f8a2c3a0056756db9","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$01AC6272-36DE-4FEF-B034-FA322134C045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c233490fb1db4447987cc5207b37e3232a6e346","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$FE2CA1A3-33AD-4A50-95D6-A16538446061","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8346dc3a3b03f10ef17dbd49bca3a8c10886a51","datavalue":{"value":"10.1007/S10703-022-00390-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149965$7FE701A8-8865-42D5-8DED-54DCD173071B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226e2e4cd98cedf563a4980a68e2180d1fecaae4","datavalue":{"value":{"entity-type":"item","numeric-id":5302878,"id":"Q5302878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8842f33e7efdad02343c2a6f38339bf822b528","datavalue":{"value":{"amount":"+0.7630192637443542","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":"Q2149965$ACA123C4-2553-4C8A-8641-C175DB2F23EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9159f6b826c4996e2663470a2eb1c3f51c9ae7dc","datavalue":{"value":{"entity-type":"item","numeric-id":3623816,"id":"Q3623816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3d5f697c986e7bc3e97f3fc927560a2daead5a","datavalue":{"value":{"amount":"+0.7623780369758606","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":"Q2149965$A0F8C249-D77E-409E-8A69-50BD85A9D48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec08b3c02523e826073b8df81c45fb239d6bd16","datavalue":{"value":{"entity-type":"item","numeric-id":4617972,"id":"Q4617972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e62bece267957a55d3260fbce732290d3c9f3c1","datavalue":{"value":{"amount":"+0.7478187680244446","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":"Q2149965$102C5427-9D73-4B88-ACA2-4030589D6869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a635221d9239b3b882cf892a4ae4dd15403d36bc","datavalue":{"value":{"entity-type":"item","numeric-id":5308421,"id":"Q5308421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ecbaff3a459803cdf2f1f85f12a72092111a11","datavalue":{"value":{"amount":"+0.7467164993286133","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":"Q2149965$755B9E1F-ECA2-46F9-AC5C-A98875535924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7d0b42894fe54330b5ef168d2df979a0e92fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2709807,"id":"Q2709807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38959ed56d0a640af62d4b9695253f02b7811bc","datavalue":{"value":{"amount":"+0.741574764251709","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":"Q2149965$0F53896F-1121-4515-A0B4-751E33BFE3F1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149965$9082A2CA-9625-481E-8EB1-AF5515CD8593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized verification of leader/follower systems via first-order temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_verification_of_leader/follower_systems_via_first-order_temporal_logic"}}}}}