{"entities":{"Q4233450":{"pageid":6263051,"ns":120,"title":"Item:Q4233450","lastrevid":46572825,"modified":"2025-12-25T01:36:46Z","type":"item","id":"Q4233450","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1264491"}},"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":"Q4233450$F130E8F2-89E3-4E57-806A-7EBBD2FC29ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dfba429e5778901c2d262ba8ab9298af7a74ba8","datavalue":{"value":"0915.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233450$DCC6A827-16B9-4D01-86BF-1D5CDCA017E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da07a0e619308115d4b5fdf910cd90043d704eef","datavalue":{"value":{"entity-type":"item","numeric-id":4233449,"id":"Q4233449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4233450$4B95F3BC-305D-435C-8374-BE37BDAA103E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4233450$41BCF73F-C402-486E-896F-68D338E94978","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f3874e79ee38a0977d37b90aebc56f50f1835ed","datavalue":{"value":{"time":"+1999-03-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":"Q4233450$EAB608D6-9C9A-45CC-B733-4FF3DB0363E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96061d96394bc4edbe8a15b1e5539e68892f221d","datavalue":{"value":"https://eudml.org/doc/227566","type":"string"},"datatype":"url"},"type":"statement","id":"Q4233450$FA933C84-A21B-4FEC-836D-C228B13C43B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"951215d764830227820be7028eb32a4780f4692b","datavalue":{"value":"http://www.emis.de/journals/SADIO/vol.1.1/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4233450$E06A2D19-DA43-4175-B033-3F7EAAEA2875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233450$545ED830-1570-4DE3-BB9F-B0A0768393C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233450$4AB1E27F-126F-410F-BFF8-3FF1EBCBE0D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbcf033bb0c787b1ee23edbd78ee30293f7f385c","datavalue":{"value":"1264491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233450$7BE28AED-1887-449D-A991-512E637D5199","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d00df73e7ebfed6e5c8dd18b29a51fcf92ea5229","datavalue":{"value":"compiler design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$169080DA-AFBB-432B-8E0F-090940A38071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059daaab1abd1b69a3c94e6a0530da90d3f220f4","datavalue":{"value":"Coq theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$72ECFC86-7BBB-4171-9B5E-CF62A0BE5E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc964bc11212abb8664fedafb838745b920636f","datavalue":{"value":"Electre reactive language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$DDCB545E-2C18-4241-AC22-FACC3B87BAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df198e9539af8ee1221a27fc303d184b5cc81a2c","datavalue":{"value":"program proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$E7B3296A-A6BA-4A30-AC24-567CEB52FA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$62E3340D-26E3-41A5-B8C9-E9051279EE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$48CBA0B0-3E6E-4A95-BEF1-582F074C1FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e378d984295a0ceafb67d5b28e7ef0eea539af2","datavalue":{"value":"Spin model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$49F4D42B-682D-4201-AFDE-5F54B0727F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0487f9ddbf827819959fb10f0afa78e895d205aa","datavalue":{"value":"safety-critical reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$F9B326A9-D829-495A-B3D0-9B717BAAD321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11a7f5e4c619e8d97db0d45fe4f3368927e654d","datavalue":{"value":"Coq theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233450$7D32340B-4BCC-4DD2-841E-3AB0AE8B84BD","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":"Q4233450$15F82AD2-89D1-4C0B-A6E3-F9281B12B447","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":"Q4233450$AFBAF2FC-3BC7-49D3-8175-CFF04E4E9A86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17f0ba7b077b303fc84a00df3777974c472bd09","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444625d95d2a344bafe80a349d8042ecb5a40110","datavalue":{"value":{"amount":"+0.7643200755119324","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":"Q4233450$DC2FB788-E7EE-4E42-88BC-0FEC9C69CD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1c6ee4a45f446227465d380cb78bd84126682b","datavalue":{"value":{"amount":"+0.7348483204841614","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":"Q4233450$9B7FEDBA-25D5-4F07-B38F-52B3AABA0A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd9b06f56d7eec64d19fce753c646353023b3a9","datavalue":{"value":{"amount":"+0.7320592403411865","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":"Q4233450$F907FC30-474F-42D4-96E3-8E077D884876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8a8437a8e5789388bf00abcdea725f1c3323b6","datavalue":{"value":{"entity-type":"item","numeric-id":4518869,"id":"Q4518869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99ad0339b473e85e8ead2bba9b2bd85b856b858","datavalue":{"value":{"amount":"+0.722759485244751","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":"Q4233450$2483F969-E011-4D7C-B54A-D4659E776636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa336e4393adbecbc2f6ed8c311004d940b4fcf8","datavalue":{"value":{"entity-type":"item","numeric-id":1959436,"id":"Q1959436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9f7553b617478bee8aa76c75761309c6b79b1f","datavalue":{"value":{"amount":"+0.7215132713317871","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":"Q4233450$D04702B1-EEDF-4701-ABEC-EE96148FC55C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4233450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4233450"}}}}}