{"entities":{"Q2324228":{"pageid":2334971,"ns":120,"title":"Item:Q2324228","lastrevid":53531492,"modified":"2026-01-25T04:41:51Z","type":"item","id":"Q2324228","labels":{"en":{"language":"en","value":"A non-linear arithmetic procedure for control-command software verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105338"}},"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":"Q2324228$F3E2E68C-4E0D-4700-B6F1-4377A90C17E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63b4d863e012f1a3bbeb030f8671c526a8457ee4","datavalue":{"value":{"text":"A non-linear arithmetic procedure for control-command software verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324228$6B27A554-E560-4A35-BB00-7E91E036D93A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1112bab6dc917c329e0819a44fb69c9579894982","datavalue":{"value":"1423.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$A1AE9E54-86AD-4673-A670-1A4FEFE78046","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad3c1cdd874f82b3fd56b170cc1007b3cef77dd0","datavalue":{"value":"10.1007/978-3-319-89963-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$C0059F99-3396-4E2D-948D-ECD8B1190D27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5979152cca5de810ef5e74808ba838cbede6b12","datavalue":{"value":{"entity-type":"item","numeric-id":888468,"id":"Q888468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$594A6AA5-C130-45D6-BFCE-BA802921B1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4cd5b7469d05395148ef8e57efa9461416d131","datavalue":{"value":{"entity-type":"item","numeric-id":2164242,"id":"Q2164242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$B73138B2-90F8-4398-86C2-87973DEB5E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9c3e977eb61b9fc5b2fcb92fe6e8ddc0a12670","datavalue":{"value":{"entity-type":"item","numeric-id":287381,"id":"Q287381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$AC48400C-46B1-4D09-9FF1-4CFFCB2D1F8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324228$15DA183C-5AFB-407A-BF49-E99303CFB4B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$2E584232-5B34-4D4A-B334-192471729A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$64B91C65-A589-4796-A4A1-CE26455F46F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$6A724284-9296-4483-97A8-31D7289DEF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$FF0506F5-529E-43B7-94E9-1E9F00BEDD2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4218ab0fef942555feef0e98ff6ee7caa2e80fa","datavalue":{"value":"7105338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$B50DE737-024C-42F1-B04A-FED19D13387C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324228$4D42CB0C-62DA-495C-871E-E8FEF3F42430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd78757037ec84963d77be55fc12c9fc31ad9d9","datavalue":{"value":"nonlinear real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324228$A69C834F-98FC-4CAD-B5A3-802F0B3DF3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a02e7bbbb2a6fb98a5a1bd31c69ed022d5319717","datavalue":{"value":"polynomial inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324228$C3786095-C325-4FE8-B796-B4219E4DB746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa9082850ef5aaf62ad9291428eef26530da341","datavalue":{"value":"convex optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324228$B2A7C7DA-390D-4B56-9597-8B2DF4ED6294","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7614fe86cfa2087b36dc63660022621ac1de71c","datavalue":{"value":{"entity-type":"item","numeric-id":16193,"id":"Q16193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$28923278-8A4B-4CE5-ADC3-548670E3A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72973e2f3c2b37eaccccd6859e905abdf48d99e4","datavalue":{"value":{"entity-type":"item","numeric-id":17040,"id":"Q17040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$17AA0EE6-B88F-449D-8FEE-E4779AA80440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$E276FD78-32BD-44D6-926F-9829724C17F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33789359f9b960afff5924d56436a42c169171df","datavalue":{"value":{"entity-type":"item","numeric-id":12937,"id":"Q12937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$79C84481-F12A-4B0B-9734-296ED9AD70C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88a65cb44d3853edc4ba88a0b9dabf2ca4220eb7","datavalue":{"value":{"entity-type":"item","numeric-id":16789,"id":"Q16789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$689E54BA-4700-4F1F-B4AB-11D37748458C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$EA501610-9F1F-471B-AA37-2AF88CCE9645","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":"Q2324228$F05DE983-F0BE-40D3-A355-2652C1A27348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$5FBD32CA-57EE-408E-8240-81230FB167AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"158da24afbe213591d0e6fd66f4753b6faff89b9","datavalue":{"value":{"entity-type":"item","numeric-id":15807,"id":"Q15807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$4719F275-64A8-4E59-A59A-F13000F9D2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$6F265B9B-9989-4424-B0B6-92E1964B496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90807e1eea37aee82b6abb65c686d81f07b3943f","datavalue":{"value":{"entity-type":"item","numeric-id":25016,"id":"Q25016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324228$C3350131-320D-4D8E-9FD3-B48BBD9650DE","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":"Q2324228$DE14003D-59EC-4285-90AD-1C28A71394EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"224849c283260ee3515da586560caeaab1c539eb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89963-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324228$C9EAF3D9-DDFE-467B-BF1B-1CABC4D3C66C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9978a7bb14dd5c2b8a1e5358e22dc503ca91cbc2","datavalue":{"value":"W2798585073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324228$62B21D25-00B8-4F78-ACA6-B1FC37417C63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0679dd9b0232c16c71a91909f6fd92440626fc47","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a9aee56dceee45b985e53fee2a83604e2347b3","datavalue":{"value":{"amount":"+0.7628069519996643","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":"Q2324228$397B9F26-284E-40BF-8FE1-DA75E8411E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1befdcaeb9e87306693f923121950d30de6c627","datavalue":{"value":{"entity-type":"item","numeric-id":518407,"id":"Q518407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12da56bf792a6ef32c215122c4557ad39ba2283c","datavalue":{"value":{"amount":"+0.7365082502365112","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":"Q2324228$89040E22-112E-4B82-902A-FD82656BB374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de94fdb67b3ec18a4a9afac48a95b409770048b","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f67fdbd39fc7df590bb2e94514035650520029c","datavalue":{"value":{"amount":"+0.7329803109169006","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":"Q2324228$799C8152-D83A-4373-977E-F8B7ADE8CA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec9048f0c16019dacc5a2b0ff53606251c8e48b","datavalue":{"value":{"entity-type":"item","numeric-id":5897076,"id":"Q5897076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2c5c365d7aefdd6584014069402c1ef4e15aec","datavalue":{"value":{"amount":"+0.7292667627334595","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":"Q2324228$F90A3E83-553C-4EDD-B224-1358FC9CDEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e215f86533eaa3eaf49a50b0753748c44692a677","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888aa8feb8c939b9aee0cf365378155fa963b6ba","datavalue":{"value":{"amount":"+0.7231858968734741","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":"Q2324228$079F5B1A-EC49-49ED-80B4-B64978CF6FC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2324228"}}}}}