{"entities":{"Q1631773":{"pageid":1642514,"ns":120,"title":"Item:Q1631773","lastrevid":72385134,"modified":"2026-04-14T04:32:44Z","type":"item","id":"Q1631773","labels":{"en":{"language":"en","value":"FO model checking on geometric graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6990174"}},"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":"Q1631773$67379513-67AC-4B33-B494-19E176CBDFE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"140c86f3ecabf355259639196a8375d5ecbcfc09","datavalue":{"value":{"text":"FO model checking on geometric graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1631773$72583BF2-2F9C-44BE-A111-216BBEEB6267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0143e862d65bfd7374e4d269739f36edfd8e424","datavalue":{"value":"1453.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$E396224D-7103-4D91-A481-1C3BDCE697A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f97addcae0de185068af846d9968c1df864cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":175586,"id":"Q175586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$F38EB736-9F37-45D5-B7C7-9F6F1273AA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15404bc914f6eb5b9a88f8501a03dc5c40fe5118","datavalue":{"value":{"entity-type":"item","numeric-id":1631772,"id":"Q1631772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$8E5482D1-877E-4789-8234-E6E98C109D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3a423df08280c4a54889ab713653e67c318cb4","datavalue":{"value":{"entity-type":"item","numeric-id":779180,"id":"Q779180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$51003380-396E-4923-A1E1-F745553772E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"285beb29e5e30a7ba8792191178d7f52682884ef","datavalue":{"value":{"entity-type":"item","numeric-id":175378,"id":"Q175378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$1104641D-B50C-4B67-8417-B61D0DDBDCE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"188a150860af43d85d9c40cbc810f545e99c1359","datavalue":{"value":{"time":"+2018-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1631773$396088AE-E49E-4EB0-93B1-380F84CCC840","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df47b33919707df22d3a0282172f61308e3ed16a","datavalue":{"value":"https://arxiv.org/abs/1709.03701","type":"string"},"datatype":"url"},"type":"statement","id":"Q1631773$319976A8-61B2-4EE0-95AA-81B9493A04AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"748af43ffb51b6bd491fab0128d39d9a3b747f03","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8559/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1631773$9B9763B6-F87E-4EC3-856B-E2D0AE80D409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$8EB42C2B-529F-40EE-81AD-067F5B48C405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$CD1DD093-5AC6-4845-8458-7B1EE15EA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"82e8efd6e51c28a954a2ab0c3ccebf86d2ac5eb3","datavalue":{"value":"05C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$492A1B9C-3B63-4037-A1B6-45D3C5C82D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$2B0876D6-AE54-4065-B8D9-42C36CA7C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$5440877E-EAF8-4E03-B4B2-A0BE9EA41670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$FFA10FB3-DE78-4710-A9B6-436C247179CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ef67d8bd7dbf8f489ea631cfc2b57470453eac","datavalue":{"value":"6990174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$242F1598-1B1E-4704-9520-AB998411C9BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631773$CBA149FB-B274-4870-92EA-CCC6B4FB2FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631773$FC4DF765-CEB4-4F4F-B2E7-644721191301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631773$ED0A206D-DFC3-4849-8712-918FCA3BA3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f8eba8c9d529f212c848e074f37e4d66acf3cf","datavalue":{"value":"intersection graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631773$52B12E4C-DF8C-4272-BA76-C2FB0DDB2D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcef134ea1c22ebb62922a7093a6e4b805d26252","datavalue":{"value":"visibility graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631773$71D3F854-AFAF-4EA3-A230-1A20F5089952","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":"Q1631773$7DB4ED79-CC15-436E-9CBD-8D10FEEF3892","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b1da73032093e98586d2bd5a89561223013596c","datavalue":{"value":"W2964004645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$EBDAC08B-53E5-499C-9569-701CFA0128D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b01feb212a3afc89a4d95dc95ece34614827ee","datavalue":{"value":{"entity-type":"item","numeric-id":2441640,"id":"Q2441640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$2C90D109-14DF-4BE1-9BF9-534B78E8D9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e47a0fa915188f04a24fd7a456a8daa72efcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1116953,"id":"Q1116953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$22BFE40F-3DDB-4E27-9BE6-FFDF151D99C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a381dce4100bafc346fa18a9f4f26641825a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1384186,"id":"Q1384186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$084DCAF1-B376-4316-96A6-55399F67DA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$AA2B2253-9CBF-49BC-9E64-1BB01CA6B7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$885FB8A8-9CA9-4450-A9B0-571722C609B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d5352adf00d3ba6c6280f75a2382719f6f5022","datavalue":{"value":{"entity-type":"item","numeric-id":4217593,"id":"Q4217593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$1DEC444A-DA7A-4125-A284-1D3E8C36106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9f370298256545bcdd2e3622e4bfb3d92881aa","datavalue":{"value":{"entity-type":"item","numeric-id":5395732,"id":"Q5395732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$8766C187-02CA-4BCD-83A6-30CEC181CB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176c53477486a9855adf59342421dd7212f7e825","datavalue":{"value":{"entity-type":"item","numeric-id":5959557,"id":"Q5959557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$4DC31611-F073-4DE6-8DC7-4FB58679A148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceccaa92ea16ea54dc4f8c0aa2ec2921fc455576","datavalue":{"value":{"entity-type":"item","numeric-id":3470110,"id":"Q3470110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$BE12CA7C-18E6-48C3-91B9-7939668D56F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$5BED0EE4-98BE-45EF-95E4-B6E9FF70A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac96f90a43b08b2106c4f949bb1b59910ea3567","datavalue":{"value":{"entity-type":"item","numeric-id":5892117,"id":"Q5892117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$95B29951-325A-4CCE-99BC-DAA5BDB2BC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c253a2617ff51031b5bb6ba98d971dd2844e9b28","datavalue":{"value":{"entity-type":"item","numeric-id":3460413,"id":"Q3460413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$B298CAC8-B4A9-41E5-869F-71814A06E883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a1f5875b55db99ec84f2ef2c3c0cada8c8273f","datavalue":{"value":{"entity-type":"item","numeric-id":5444161,"id":"Q5444161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$B2E1BC11-13BD-419D-8524-5C90635374DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2bb73749e82ba1791033e0676db2e9ecf4098c","datavalue":{"value":{"entity-type":"item","numeric-id":686142,"id":"Q686142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$A4A53208-2E02-4A18-A12D-E8F5C62BAA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d74a9ba9c35f2ddb6e3813b3564a508614ed6ca","datavalue":{"value":{"entity-type":"item","numeric-id":2466015,"id":"Q2466015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$BC9336DA-0A82-4311-9E74-BE590AF24C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df22cb2dd89b334745858c34740a652f93b72aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917042,"id":"Q1917042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$158347CF-67BF-47B2-8B7F-E7A615E6DC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae54ae8082b9170139b5fc0446794648cce64a2","datavalue":{"value":{"entity-type":"item","numeric-id":476868,"id":"Q476868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$65878724-3273-4389-8278-7F76BB55DA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d49e2be7496685742f7fd11d5566d4598d00dd9","datavalue":{"value":{"entity-type":"item","numeric-id":5475855,"id":"Q5475855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$3EE92EF7-4ACA-4BD4-9F22-E19AD2DDFE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532913c7fa476dacf38d08303d2efc9d6b0e929e","datavalue":{"value":{"entity-type":"item","numeric-id":1939654,"id":"Q1939654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$8214EFDA-BBF9-4FE3-91CA-8D6CDC3154A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4383147b538b8da4a22b0212287afbd41a7d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1424251,"id":"Q1424251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$E9EFD46C-A84D-4B61-BA5D-98F459B06F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75892efb8c423df4e08c3a2522f9c8641bb850b","datavalue":{"value":{"entity-type":"item","numeric-id":3799261,"id":"Q3799261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$5F2832F5-AC2B-46F9-BF03-62018000AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$974D7D80-DB67-455D-A527-C745C4C8171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f575abb6ebc4078236ed705e236dd49f4a7554c7","datavalue":{"value":{"entity-type":"item","numeric-id":1122366,"id":"Q1122366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$68929EE0-B8D3-4C0D-9574-F3FEC86A322E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565e1c631f28f5626e28b4b72f070c887ee0b094","datavalue":{"value":{"entity-type":"item","numeric-id":3685215,"id":"Q3685215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$6A56594A-73A0-48A5-A039-3CDF203E13AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f316bda1db96a4382c7a9143b182e390b18612","datavalue":{"value":{"entity-type":"item","numeric-id":3663349,"id":"Q3663349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631773$76508801-EC86-444C-9BE2-2BB498E2CAB1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5d3a18fce302187877d1aaac38c0255259f658a1","datavalue":{"value":"Q129079546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$CCD5E7B6-0CEA-4389-B928-4DD92E034773","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37b60ee73fd232b11783af23a9ee3a1b6115a4ea","datavalue":{"value":"10.1016/J.COMGEO.2018.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631773$630112D9-66D7-4A3F-8E61-62D2B68A70AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91db50d8967498b48b951b5bf46347fa6a08a29","datavalue":{"value":{"entity-type":"item","numeric-id":5111878,"id":"Q5111878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6637e8e5515fba7b45abea680d0405dcd90f0f8e","datavalue":{"value":{"amount":"+0.99691385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$423E3548-72C0-4C9C-9F78-FB6C44D4E87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafee2e0235a66e0615d0301a5370d217e1ef857","datavalue":{"value":{"entity-type":"item","numeric-id":1679973,"id":"Q1679973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ef6f79b0ef2f1e1e22530850663236aeec5666","datavalue":{"value":{"amount":"+0.9369632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$62FC657C-626D-4276-AFE5-7378444D9438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9aafafeffcb987d30dd3a59de5e904823afbb4","datavalue":{"value":{"entity-type":"item","numeric-id":5327438,"id":"Q5327438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9530f71edb3eef2797b3111c1ddb03c06359f821","datavalue":{"value":{"amount":"+0.9177805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$12AA6128-482A-47C7-9904-A722551BB4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958e98d1820256a98fe63045b8988143c64976c1","datavalue":{"value":{"entity-type":"item","numeric-id":3460413,"id":"Q3460413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf511423912245687ec3ad3f8323f56553e1f4d","datavalue":{"value":{"amount":"+0.91778046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$1AC99047-4486-444F-B56C-69D9071F60B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80f0c0fda23968a7cf162e021f0fba0ad757824","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8beede9a5e6aee35a3c37ba9943f714a0457a48","datavalue":{"value":{"amount":"+0.8689443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$AD10C924-7359-4A17-A8ED-8574DC89F65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833cdc559fe6836adfa612011a2acd24edb7dd2b","datavalue":{"value":{"entity-type":"item","numeric-id":1286479,"id":"Q1286479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4a70a6af62ab93d6bcc24b6642a85b74e88449","datavalue":{"value":{"amount":"+0.868871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$87FBD1FC-D17E-4693-A231-56D76255C97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8bbeef261733f0410cbd781f54c4f723faab29","datavalue":{"value":{"entity-type":"item","numeric-id":5408193,"id":"Q5408193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f4bb5355837eedaf0af1c794ec1b11aecb59bd","datavalue":{"value":{"amount":"+0.86706656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$C1866818-9D10-4853-B263-7417DF8BE5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400180d3989466b54d11d06a562f115c3f26f020","datavalue":{"value":{"entity-type":"item","numeric-id":5326601,"id":"Q5326601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f4bb5355837eedaf0af1c794ec1b11aecb59bd","datavalue":{"value":{"amount":"+0.86706656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631773$87723427-CCCD-43E5-B64F-F58751D88A5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FO model checking on geometric graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FO_model_checking_on_geometric_graphs"}}}}}