{"entities":{"Q4737559":{"pageid":6767139,"ns":120,"title":"Item:Q4737559","lastrevid":48316720,"modified":"2026-01-04T08:38:22Z","type":"item","id":"Q4737559","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2086951"}},"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":"Q4737559$EACDCA61-33A4-44F0-A6AE-2929DF7880EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be8cc1b8e968a48d2a6ef09c2e243685ca5628bd","datavalue":{"value":"1057.68636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4737559$8A22420A-08DE-443F-8C90-0E4CD389584C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2d84d126ac5623b4ecfba5f198b112731dcd9bf","datavalue":{"value":{"entity-type":"item","numeric-id":782493,"id":"Q782493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737559$CF925D3A-9FF7-48F2-8619-0D21E8E211FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f350e53bc981d770f2f097083af75075c02ae30","datavalue":{"value":{"entity-type":"item","numeric-id":1098855,"id":"Q1098855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737559$5FC75585-3ECB-42BB-B548-00B4CD915084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0009aa4dc58ebbe2a53a27211dabb82b46fea01","datavalue":{"value":{"time":"+2004-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4737559$F0FC057E-7903-4230-BCFE-C94EEFADAE86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef96a2a3e476ee1f28dabd88ee2f1eadf09f78b0","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2335/23350165.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4737559$B111379B-57A2-4F93-A4DD-CEB61B8693DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4737559$D2208389-BD57-468E-AC19-53EA5E7B2CE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2747af543af9ba613f94ff9b16b28ce01e1d6cf","datavalue":{"value":"2086951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4737559$8FDABEDD-DDC3-42BB-AE34-77E954568C04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb88bac8c4975203f8913e843dc8010d041ca91","datavalue":{"value":"Object-Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737559$F68C6B5D-4223-4BBE-8A79-1E8C2AABFD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b340213c2b759957e397457c522c697b98bda44","datavalue":{"value":"Abstract State Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737559$F39FA7F8-4680-4A9B-A02A-5B47CB46C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e712be1b508bfde220789c2c1be42350c9f341","datavalue":{"value":"language transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737559$42C7600E-E1A9-4BC9-AC6B-E104F5D25D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737559$88880790-252F-4596-AAA3-74CD7BA4E6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"474bf0b9a31dcb76c3253a2f8283c9e775878943","datavalue":{"value":"automated tool support","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737559$3EDACEC8-1118-4642-8C44-12F3CB654890","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":"Q4737559$AB073DB1-B179-492E-A8AB-90DB973D680A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126ecfcfa34a83140dce7f28d10657a623ffbf50","datavalue":{"value":{"entity-type":"item","numeric-id":4518903,"id":"Q4518903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039c88227340beaf64da6a6680f75101cfd7785a","datavalue":{"value":{"amount":"+0.7943330407142639","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":"Q4737559$945662D2-0499-4EB9-8D92-97395EB863D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254159d451d4bbd4ae5bfdfeb72b1fdc483193af","datavalue":{"value":{"entity-type":"item","numeric-id":4520500,"id":"Q4520500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc600823ecb40249dd931e0702ff5e0910a3133b","datavalue":{"value":{"amount":"+0.7910735607147217","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":"Q4737559$1F1209BE-DCBE-4943-9ED7-AFF4B3DE9370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d54d7b4bc61c9edbb7661a4a7f6f24621aa9f23","datavalue":{"value":{"entity-type":"item","numeric-id":2753717,"id":"Q2753717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b9cd8ba9c03ee93dca70998a1da13bdd090491","datavalue":{"value":{"amount":"+0.7601721286773682","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":"Q4737559$FE8A7EC8-2A0D-4D97-820C-66253427FA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfc1e4d6930a9171b000b7902a304d8ffd328fd","datavalue":{"value":{"entity-type":"item","numeric-id":539218,"id":"Q539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ef44f8da9d65a94b87019c174ab34c1041d263","datavalue":{"value":{"amount":"+0.7570199966430664","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":"Q4737559$C54432F5-CB27-4258-BAE1-7E8D1E91BB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c24d33cbfad213e7f05d5d8a3171cf61d2041ee","datavalue":{"value":{"entity-type":"item","numeric-id":4494252,"id":"Q4494252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b405b0e2acc2c3cff5dff58b7940ca3410f89c","datavalue":{"value":{"amount":"+0.7460113763809204","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":"Q4737559$8CB7995C-013E-477A-B0EA-1D852C621569","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4737559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4737559"}}}}}