{"entities":{"Q831915":{"pageid":833763,"ns":120,"title":"Item:Q831915","lastrevid":64783635,"modified":"2026-04-11T22:11:59Z","type":"item","id":"Q831915","labels":{"en":{"language":"en","value":"A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7497913"}},"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":"Q831915$661B5A9B-BDB5-4D16-A716-A7963680D150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bc36f0828809b6d541a5cd24b19753059f3be03","datavalue":{"value":{"text":"A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831915$4DAB23F8-E326-4616-B2A9-D0FD65CDB1BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"048c870847d2536f11fe8bb0d4a3e88f2567abe6","datavalue":{"value":"10.1007/978-3-030-86205-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831915$1288048A-49A2-4E0F-8AC2-4E9F1D44089F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa7d05503577a5b9fd70ce583a8b9f4a6bc04b14","datavalue":{"value":{"entity-type":"item","numeric-id":831910,"id":"Q831910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$3F02AD7B-7C89-478A-8538-BEF3C2D58B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d2a23cb26f15b18a16d08dca13946ba242a061","datavalue":{"value":{"entity-type":"item","numeric-id":831911,"id":"Q831911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$8D40BD0A-B20B-4802-A68E-8FCAD6E8B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3ea7989d3de5efbe4a3b5ce7a1d92e8bac6bcee","datavalue":{"value":{"entity-type":"item","numeric-id":831912,"id":"Q831912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$A058ECEB-D43F-4021-A61B-489449C659AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4eee0f753b72b78e56c83394c9d0607e1087ab8","datavalue":{"value":{"entity-type":"item","numeric-id":666241,"id":"Q666241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$E7BC3AB0-B1FF-4936-9E46-C756FA7A7515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81161afaa508e2d68667bfb24b0b658ce4a4b13","datavalue":{"value":{"entity-type":"item","numeric-id":831913,"id":"Q831913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$218AD70D-2D67-4772-B441-249C5AAD98A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$2D202015-CDF8-4E6A-B047-A917C7525364","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831915$BB649CD4-81C0-45A9-AF3A-6EFB26836959","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04655831a801260b7d932f0e57d768c93fe32a98","datavalue":{"value":"https://arxiv.org/abs/2107.03189","type":"string"},"datatype":"url"},"type":"statement","id":"Q831915$45E0D9AB-C7D2-4E7B-B572-7631B6275AFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831915$56A66A7B-38D1-4B1C-B59E-6C341D168E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1e064650280caa4d02093c33b91ba4435371218","datavalue":{"value":"7497913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831915$635E08AD-9AC4-45E0-9363-EE4EC7709659","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$F3F8E595-A6DD-4BD8-8385-5DB7AC711658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$D14C9269-1150-4639-A825-C5E63CA27093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$ADD37797-815E-4EA4-B90F-6746DD8D0989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$9ECDE00B-C93F-4FA5-A1E4-815CDA3E2282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$5A709242-5819-47F6-A8F9-7757866F69ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$DD045D43-5A8E-4ACC-A335-68A4C3F4225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$BCC7D7C1-4F1D-429C-AF5A-1CBDA8806D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$DA9FAA55-C58D-49CD-B710-61CEFF2DC826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$B77B643D-6538-45C2-BA5E-B909023CF458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$B8381B2B-FBE8-4D1C-8122-E453D82E1FD1","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":"Q831915$5CFF80D5-AB5C-4AA0-A51B-C782469B505D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b59a4f427ec9b5701ec57965d310e0ca425ca2f6","datavalue":{"value":"W3202430163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831915$1C0E80EC-89E4-415F-8D23-1ABDBC889890","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$718927C7-74FB-4533-AE12-58F4BA306239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b865cd62cbd78d165825353014794ad3e405d59","datavalue":{"value":{"entity-type":"item","numeric-id":2185457,"id":"Q2185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$30094602-26F9-46B8-98F6-A848E0C469D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$C4EC948C-D121-4F27-96AB-235AABD446C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$E817ADA6-1771-47FF-9A85-DECE7679D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45b991db91499e830d6bb72f5f400f56e5fa958","datavalue":{"value":{"entity-type":"item","numeric-id":831915,"id":"Q831915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$28DE1DFE-072A-4B5C-A97A-4743A2960863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d72b96c91ebf8c923998f114a10233088e5f587","datavalue":{"value":{"entity-type":"item","numeric-id":2234101,"id":"Q2234101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$C491B810-27FB-459C-B868-109D475EC0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f69b87d5186b1c7652ae794e22c225d266af5e9","datavalue":{"value":{"entity-type":"item","numeric-id":2305409,"id":"Q2305409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$749F5A84-C487-49AE-9BB4-800D6AE8C8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2382c5c030ab0f86cd18743b01785306e281bf","datavalue":{"value":{"entity-type":"item","numeric-id":2055851,"id":"Q2055851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$5344528B-D6BE-4352-8D21-7CEF89A3E908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1db31f69f14e867729757963150857470e58a6","datavalue":{"value":{"entity-type":"item","numeric-id":2305416,"id":"Q2305416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$7EF2076C-A746-431C-A527-2A78AFC7DACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$C2457427-FBDD-4188-87C8-A34174538D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd13832e4858f20ceea370b9af3d4412d8bd11c","datavalue":{"value":{"entity-type":"item","numeric-id":4913861,"id":"Q4913861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$E952CCB9-3950-40EB-B17D-802B4F9E1626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d778ac4b9eb2d0735f4c35e0378ad54005655124","datavalue":{"value":{"entity-type":"item","numeric-id":2405242,"id":"Q2405242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$CE3AD231-C2D6-40A6-A138-D83294EFE685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$F2A9E3D9-0CAB-4874-B1E2-BE5764FEE4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$39A97711-A349-41EF-A924-E49537668FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$EE4C9252-D2A4-4847-AE02-1787C0EA69BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$42D7E398-6C0B-4898-AA58-AF5BAFBE7A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$7783DDF8-02DA-40E7-89C3-41F7CE104241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$05B271B2-9833-4B91-BAFF-DB195F07D3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$B96AA78C-5248-4276-B30C-FAAABE6FACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0081b258510dd8e01215933d88134a958186d290","datavalue":{"value":{"entity-type":"item","numeric-id":1075318,"id":"Q1075318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$C021C267-BEF7-4F2D-BEA5-92F7DA5C14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d201f1220ce43da8f2eaf21211826f90fb4af6","datavalue":{"value":{"entity-type":"item","numeric-id":429592,"id":"Q429592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$A81878FE-9238-48E6-A9D3-D301C13416C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516924fffc5ccd06ddf357b776bed9baac4d2e69","datavalue":{"value":{"entity-type":"item","numeric-id":2324227,"id":"Q2324227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$98AA4DDF-BC23-43D2-8A7E-A2EF3F12E0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$0E194702-5ABC-4CC2-A9BA-430A2CDDFBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$E1119234-921A-4BA8-92DB-9E41027B58A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$8AA15083-F1ED-4E95-B728-B13590374B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a416602e5d8b55dafa1648c2f2fe1337971d94","datavalue":{"value":{"entity-type":"item","numeric-id":1799135,"id":"Q1799135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831915$99F18D4A-125A-470C-B819-9F2F3F4C7377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f96384ff2fadfaf3f520c6ac5eb30cf3d40597","datavalue":{"value":{"entity-type":"item","numeric-id":4593086,"id":"Q4593086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144ef92f0feccf08d2216fdcf65ae8445e86cd86","datavalue":{"value":{"amount":"+0.8327321","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":"Q831915$0AE1553F-A908-468E-B7D1-E0AA931F4D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0271bca74493e99e81f96b4de7ca3efb6f4afae","datavalue":{"value":{"entity-type":"item","numeric-id":5738951,"id":"Q5738951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a5584b50db745ff3e006cd0af195691d1f1577","datavalue":{"value":{"amount":"+0.8284944","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":"Q831915$13AB4DCD-97AA-4A51-B051-DBF21304AF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871236b1d56e0d7c6fa6b37133f91f5d4c263f85","datavalue":{"value":{"entity-type":"item","numeric-id":2767120,"id":"Q2767120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4dc089929929ee1642c0dcc98d6ce96a9f4901","datavalue":{"value":{"amount":"+0.82647127","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":"Q831915$9C72EDAC-F41B-4CA6-A174-01D26B1F782D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8b70a241867ae7423389371854707efc05bb89","datavalue":{"value":{"entity-type":"item","numeric-id":1884881,"id":"Q1884881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811552d4498351ecb9fd6d5c076ba96ac977eba2","datavalue":{"value":{"amount":"+0.82221365","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":"Q831915$97676876-11A7-4F5B-BE24-C3DC0B01A498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aaa4a36bdf05dc06c575e9e83887fbf42b685d","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2dcb16237abcdc5222255c118c10740dd68fc2c","datavalue":{"value":{"amount":"+0.81510466","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":"Q831915$ED8919E1-52AB-4860-A605-C63D2EDA1277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9390b4ccc6dc9f08d9ed8cd2d7f1eed1c352e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2dcb16237abcdc5222255c118c10740dd68fc2c","datavalue":{"value":{"amount":"+0.81510466","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":"Q831915$6B625854-A337-4D5A-8D82-516FE53F7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2dd2ab75660a110795bc8f332801c45dfe7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":5210782,"id":"Q5210782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8aa3928b155bd74a37761f0601decbb40822da","datavalue":{"value":{"amount":"+0.81232727","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":"Q831915$3770761E-1504-4A99-B4AF-BC18C81363A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85438d79c0dd9f1e9e8184b716f0a29dab54c8cf","datavalue":{"value":{"amount":"+0.80850947","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":"Q831915$F0DED618-50C9-4B0D-B06C-12D2EB9138D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42021b997c68bc862f1509efa3b66de45dd7291f","datavalue":{"value":{"entity-type":"item","numeric-id":1373300,"id":"Q1373300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c40a82157698e83939c47a42b478735e58a9da5","datavalue":{"value":{"amount":"+0.8078946","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":"Q831915$8484E53E-D1C6-4F8F-914F-7AFBAE424887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9691043fc2fa83f9bcad490e83cd2b178847bf","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d0b9b4957571a70ad18c5d33522b72227ea8ec","datavalue":{"value":{"amount":"+0.80781144","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":"Q831915$7AFD3D52-94D3-44DC-990C-FEBEE2ED49B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Datalog_hammer_for_supervisor_verification_conditions_modulo_simple_linear_arithmetic"}}}}}