{"entities":{"Q4884237":{"pageid":6913816,"ns":120,"title":"Item:Q4884237","lastrevid":46441215,"modified":"2025-12-24T19:19:15Z","type":"item","id":"Q4884237","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 898449"}},"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":"Q4884237$D5A7613A-198D-4B14-BD5A-5BD0DA8E9995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab4d0b45e26d34ad234ae70feda75d3bf243df14","datavalue":{"value":"0848.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884237$7325FF92-0179-45BA-A4B3-1A61F968FC6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884237$27F4C3A0-3CD5-4C12-91BF-76468D0630C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94a7e2bf9d629397ee3309cabed74ad329a0a61f","datavalue":{"value":{"time":"+1996-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4884237$98DBE910-52A5-4829-865A-FACE316634B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884237$D4AE8F8B-5D01-40E4-B7D0-8693180B32C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884237$5924330F-0AA1-4D68-BC08-8C371ACAA1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884237$2DADF9FA-F690-43F5-935C-B5A160698A9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa62acd38d45c83e6e323ca863b5155e52cae2d3","datavalue":{"value":"898449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884237$37BA442B-22C0-47EA-B740-D79BC2B839EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884237$CE1D47AB-BC76-4850-BEC8-C35C44044FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884237$C51778D4-CF5D-4CC8-A0DC-F9ED3A55D075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884237$0CE2F398-3030-46BC-84E3-E84C8DE4046E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80d0d722724c8924f9a3f8f3cde08b68e784a00","datavalue":{"value":"state space reduction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884237$1C0C5710-7EEE-4213-B334-C5C592C6BB45","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":"Q4884237$438C96FC-3230-4909-8C9D-319EBC64FF83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3a369a7b53de8058174217a186049c15d21209","datavalue":{"value":{"amount":"+0.8581584095954895","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":"Q4884237$3C7365AB-7A70-4A19-97FE-AA24AA1D7535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b736b59d16efb13cdc1503f6bc68ef6c969450","datavalue":{"value":{"amount":"+0.8306135535240173","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":"Q4884237$5F40FE2B-1212-4F4E-8430-5ABF10ABB213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61edb7ecab1f5627dc9d20ac76c9e88dd4557c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4923520,"id":"Q4923520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db624b7f667e75ca588f73d2307ec4f8849356d5","datavalue":{"value":{"amount":"+0.8200046420097351","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":"Q4884237$1E419485-76EA-47AA-B1C3-C5034FA73ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf55ad778d5220e73625a2e0dbb604798fac56e","datavalue":{"value":{"entity-type":"item","numeric-id":4411975,"id":"Q4411975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c753c57818e5fde1b499b1b30c6584f90e088370","datavalue":{"value":{"amount":"+0.8136641383171082","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":"Q4884237$E80A36C0-BD6B-4200-AB5A-E033D5949233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e88110dc241e28ddabad3dcc20560145b9c7fc3","datavalue":{"value":{"amount":"+0.8099844455718994","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":"Q4884237$51DE9ABC-063C-4E3F-A5CF-6F90D02EBA48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4884237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4884237"}}}}}