{"entities":{"Q2948231":{"pageid":2958951,"ns":120,"title":"Item:Q2948231","lastrevid":52355096,"modified":"2026-01-22T10:55:37Z","type":"item","id":"Q2948231","labels":{"en":{"language":"en","value":"FORMULA 2.0: a language for formal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487422"}},"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":"Q2948231$DB56D066-98C9-4F76-95D9-52C319A612BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ef39432a18c2439d33ea2a4b69e1421074e59a3","datavalue":{"value":{"text":"FORMULA 2.0: A Language for Formal Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948231$FF134E7A-9EC5-40F2-A8E3-F985EB2EC394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"963c8d082eca719daee54c375138f7de6997fd2c","datavalue":{"value":"1444.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$C68DE5E5-7410-4637-A4D0-757B9E8AE15B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e88cf0feea388dc9b49256d70d36ff1b648eccec","datavalue":{"value":"10.1007/978-3-642-39721-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$24B912C3-5324-474A-AF96-7DFCD94E721C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f51ff4bc7dab6127fff626ac71b27e7c501adcd","datavalue":{"value":{"entity-type":"item","numeric-id":1677944,"id":"Q1677944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948231$691D650D-334A-431E-80B2-C6A5F0C5317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13dd9647a0ef3c6e07612efd4a1e02aa8e3512aa","datavalue":{"value":{"entity-type":"item","numeric-id":973054,"id":"Q973054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948231$556313C9-5FE1-4BC8-B689-A1DE501500B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948231$B7728F00-B456-451E-A8EA-E9A192B58D69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a02eff2a6739f20c5ba25ea9c06d2f02c0f4ac2a","datavalue":{"value":{"time":"+2015-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948231$25D50A35-2371-4507-A796-DD190721AEF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$C963D849-53F1-49CF-9598-4DCCB1BD667B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$8F346AD1-A48B-4D60-A09A-E0C7C46644F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$E4CF9E8D-AE81-42F8-93DD-C83A0F750C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$0DB6A2BE-9E05-479D-96D4-76C5FABD35BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"577e4341367855f5c1e318b0bdeb751cfaee2e56","datavalue":{"value":"6487422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$169CE7EC-846F-4C76-AE00-F4F7F90E4CE7","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":"Q2948231$D5B67922-6E8D-453E-95E1-AB96A61D447D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f48efa65dd8cc043303ed20155003992e168e37","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39721-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948231$BEDCA75C-BF01-44FB-9BBB-7390D1046964","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfdee30f1be50643aa69f357240659e4a4130a27","datavalue":{"value":"W86717647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948231$4D9F5100-971E-44DB-BECA-DEFF693D3651","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eead6d73006e2f273bb6ddfbd6db3dba54c65290","datavalue":{"value":{"entity-type":"item","numeric-id":2183716,"id":"Q2183716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9309f8037ba41438842fb3f40520bee4caa8bb","datavalue":{"value":{"amount":"+0.7131795287132263","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":"Q2948231$750BBB37-C915-4C0B-98C8-5DC7DCE4D2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6abfb445f75a7649ad7c09bc1a531f0bf7a192c8","datavalue":{"value":{"entity-type":"item","numeric-id":1956949,"id":"Q1956949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a005702863e95113c7169218325a25b858a3f82e","datavalue":{"value":{"amount":"+0.6974456310272217","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":"Q2948231$B2B06C68-CC23-4396-9722-C6917452ABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c8877177256e7832cc2493c1a9a42f1ecc0e65","datavalue":{"value":{"entity-type":"item","numeric-id":2303870,"id":"Q2303870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896c9e44df9e9ab01951ce65ed89ba25db1080ee","datavalue":{"value":{"amount":"+0.6936835646629333","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":"Q2948231$F25C2461-3E68-4104-8565-616A920C7E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d4d761e916559290cf9c477590f6214bdd0647","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c63e45a95a6b1701fdf828ac9d763df88d7f66","datavalue":{"value":{"amount":"+0.6900625824928284","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":"Q2948231$B77AE401-3E06-432D-8DFF-89ABBD7C5E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec6c1125cf6e665825b77f7484c500a5a7fc62f","datavalue":{"value":{"entity-type":"item","numeric-id":1186100,"id":"Q1186100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c63e45a95a6b1701fdf828ac9d763df88d7f66","datavalue":{"value":{"amount":"+0.6900625824928284","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":"Q2948231$8E272D93-37BD-45AE-AED6-D016BFA14D15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2948231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2948231"}}}}}