{"entities":{"Q2233451":{"pageid":2244194,"ns":120,"title":"Item:Q2233451","lastrevid":57686217,"modified":"2026-03-31T22:05:48Z","type":"item","id":"Q2233451","labels":{"en":{"language":"en","value":"Verified software units"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410457"}},"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":"Q2233451$894D5351-C3DA-45AE-B5D6-267B0501D970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aeaa4ce7b3b824c77b95a54f256d79dffd7c310","datavalue":{"value":{"text":"Verified software units","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233451$4343A95B-2DA5-4832-9DFF-98ACBB037153","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95d6d535aebbeb9f250077300f82b4b088a4df93","datavalue":{"value":"1473.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$B359CF26-7A06-4852-B12C-620CDC2C3A41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7fd04a2c8b4fdbe0fcadb249670f8b984177516","datavalue":{"value":"10.1007/978-3-030-72019-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$ED284E2A-4423-4C20-8104-EFDA5EE0DE09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$5AB30AC0-67DA-4419-9370-047779F8967E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233451$B4626E94-C0D3-48F1-B334-1F76447DA38C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$9B876339-899B-431E-A345-578C1C0058FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$42926C1B-195C-4067-A442-D766B7210649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$CF98B592-2670-41BD-A0EC-8E26B9B7DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$A4A5D62D-22A8-4EC4-9373-CA2D4BA11F69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20b09bfcbfd1a1c415cd3ec0ef21c94c38107ba9","datavalue":{"value":"7410457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$041683E1-DF05-4FC2-98FB-4B19267BA61C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf2de1b43434109d7625c472179b9140d5c4e2f","datavalue":{"value":"verified software unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233451$85DF4077-827B-497F-8368-8B5FB20FA66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ff0bf939b9ffdf74d222bac4d7d192db672007","datavalue":{"value":"abstract predicate declaration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233451$9BFE5B95-78B9-4E87-AFD9-CA3003C5B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27dc397c432f9764aab5017638d876ba05637ab1","datavalue":{"value":"residual predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233451$4EB51599-EDD5-4285-B775-901C1FFA4D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517a63d94250ca65dcb857ca77788733decbc00c","datavalue":{"value":"positive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233451$94EB39EE-A770-4B6F-892C-05910F7BDD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef9864c2457418f709259c90c15a70b80b16087","datavalue":{"value":"verified software toolchain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233451$555299BB-A953-425C-B1B4-DC383A319D01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$F6441B9C-06C5-47FC-87F7-43CF3781BFBB","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":"Q2233451$B3361B3F-E439-47A3-B344-C155EB3EA233","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"749dfac586b94ac50495beea14ac9914a8a38544","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72019-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233451$D63F64DC-373B-44C7-94F5-C9C47D3DA26E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28655b3abaffe41ed7e350ee64ade693fb63cc39","datavalue":{"value":"W3136796399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233451$149257D5-9C35-42FD-B5D5-644CB9FFB688","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d17bced200c861b1f68e40b8ad1d6ac729ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5705936,"id":"Q5705936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$09D61954-5C88-4942-9488-585B2B0D272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$A9A4B526-C181-4ABD-A1EC-EBE04FB656C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dea4591678b15a6cab034d35b86cc0cea33c36d","datavalue":{"value":{"entity-type":"item","numeric-id":2565501,"id":"Q2565501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$FC18F229-9242-4E31-9C4E-BA84070CCF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00320168d9e25d1eb7a5045f616b3618eb01d39a","datavalue":{"value":{"entity-type":"item","numeric-id":5395717,"id":"Q5395717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$0E676266-76CD-42DF-94F5-E730938193B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2277e839c342e3820c32c5da3191688c45d3d662","datavalue":{"value":{"entity-type":"item","numeric-id":5313101,"id":"Q5313101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$0EB673F0-32D3-4521-9580-E22BC94641AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2543d41846a089697c8f30d3bc9c93a903fc96","datavalue":{"value":{"entity-type":"item","numeric-id":2233451,"id":"Q2233451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$051B2585-FE66-491C-92F4-C405FE3D442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656b52898fb9d715cbc0ff6976b2507bbcf3085b","datavalue":{"value":{"entity-type":"item","numeric-id":5705934,"id":"Q5705934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$65A940D7-D4F2-4A2B-B981-2556E8244792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfe2b9a9fcbf77ba34b0a676019827e4fb9bb8d","datavalue":{"value":{"entity-type":"item","numeric-id":860842,"id":"Q860842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$325D36AE-E738-4C7B-92BB-328471B24538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd5f5c9fcbefac0bb72532e3eb4cdbc88cd4b97","datavalue":{"value":{"entity-type":"item","numeric-id":1854318,"id":"Q1854318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$018B35E4-0951-4327-9377-9F1277FF459F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52ef9f5cfbf375a7e6d9bdc3ddde94a5f0c2877","datavalue":{"value":{"entity-type":"item","numeric-id":2779238,"id":"Q2779238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$1C7861B3-A947-48BA-8FE5-7E38A1E845A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10987b4086019deb8eb668b9c9d4084a5a9a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4335814,"id":"Q4335814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$86AFED7B-4F19-47A3-8F3E-ABE0E1EAA87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73901d66c4278581e8cce3d77cced49f915057d4","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$04DAFA1C-A400-4A19-B794-0C9377FA06B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0ad9049f6fe82451e2b7d8bdacba443a464251","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$82B3FB1D-7577-40AE-8C89-752ECA15B5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f1bc132aa9b0018a0b5964ad3d222c485d2318","datavalue":{"value":{"entity-type":"item","numeric-id":1917089,"id":"Q1917089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$3717BDDD-87AA-4A93-BDA0-D0CA4092316F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc5373e8431fd470f54ce0cdd6f7b3f9e09a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":2847785,"id":"Q2847785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$597EE2F5-30E8-4FE2-9CCB-0C98247D3DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8515247747c04071cee03c4e2b35aa91b60754","datavalue":{"value":{"entity-type":"item","numeric-id":2754051,"id":"Q2754051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$93A832B4-4518-4720-8025-613AE80179EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$DC7FAE7C-C4A2-4ABE-A801-65D30B4BF213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$08CC44B5-6A8B-4AA6-BDC6-A628C650AABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf01f6d0f15e194b18b50e7192ec30c2fbfafa5","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$07941322-6524-4BB9-BBE0-C8E03872D08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$635928DC-C626-4430-AE26-EE8E30BD51A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$CBA98E02-C54D-4F30-8D51-966017F8A309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$CADDAF75-5A43-463E-8CE3-A75C7ED9FC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$0506474B-AD01-49AC-9763-CD9BA2A57460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464b1870bccf13dbc5906b6fdcbedf4f91a8bf40","datavalue":{"value":{"entity-type":"item","numeric-id":5588137,"id":"Q5588137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$A2F61AC4-7FAA-417B-806F-2C74B67734B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e5d9f04071424e0ea18e8c9970366510a18989","datavalue":{"value":{"entity-type":"item","numeric-id":3656894,"id":"Q3656894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233451$39D460B2-BE6E-415E-9442-CEFD7218BA5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fab7cccee66bb09cb113fdb52faeb00c44355ec","datavalue":{"value":{"entity-type":"item","numeric-id":2147702,"id":"Q2147702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77479454c85e319908d1c07e8c5456a4c4b1ab49","datavalue":{"value":{"amount":"+0.7804815769195557","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":"Q2233451$FE32D80E-8A02-4D84-9B82-E951A81208E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6c9e47a6f87f9556c5932f106c5ec71edfaf09","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37be83e241b61b3a0392d9a1f4518fe6efc07f30","datavalue":{"value":{"amount":"+0.7555783987045288","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":"Q2233451$9C07BC8E-4876-4C25-A077-DD6EECC47BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a85d5eaa5026aae2b79cbf852b48788095678a","datavalue":{"value":{"entity-type":"item","numeric-id":4028366,"id":"Q4028366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d192e2da71b3b512061198cd64fc1da5bc50288","datavalue":{"value":{"amount":"+0.7466896176338196","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":"Q2233451$B94B005E-E9A4-4C53-A41F-0AD2849E84EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a215fc588401e3c34e118dbe74ffb7d61a35c133","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d192e2da71b3b512061198cd64fc1da5bc50288","datavalue":{"value":{"amount":"+0.7466896176338196","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":"Q2233451$939FF540-E77D-438F-AB84-A1EDDEB153ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa9762f2bbcaf949394e10f1e3500c1499f3788","datavalue":{"value":{"entity-type":"item","numeric-id":2819844,"id":"Q2819844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d09f522d3e28f1b5f2fb0470fb10354c1a7da5","datavalue":{"value":{"amount":"+0.727679967880249","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":"Q2233451$9DFC60D1-43C8-4E99-8149-F1A3C2628273","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":"Q2233451$2D88DD82-14E8-48B0-8E99-144F14DEF553","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233451"}}}}}