{"entities":{"Q5313004":{"pageid":7342578,"ns":120,"title":"Item:Q5313004","lastrevid":48536971,"modified":"2026-01-05T03:40:18Z","type":"item","id":"Q5313004","labels":{"en":{"language":"en","value":"Algebraic Methodology and Software Technology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199383"}},"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":"Q5313004$CBA6BC44-2721-44CE-A12B-B7A62F494EF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b4d08af65cdd95a90305b68d8b2f10d1fd7b585","datavalue":{"value":{"text":"Algebraic Methodology and Software Technology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5313004$9F8C9577-943C-4A79-A90F-DF04A9FB4D08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc8f68f7b39e53001901a4251b291f3594c47322","datavalue":{"value":"1108.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313004$15D00825-FCCB-4F6A-99C3-FFA37F6781C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a21a699a0a68aecb14fb3639a56cdde4b7cfada","datavalue":{"value":{"entity-type":"item","numeric-id":860884,"id":"Q860884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313004$AEB198C5-4892-4E92-A337-F00B643CEAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd3869bc3ccb0a873a984a806d7689b9c2afe97","datavalue":{"value":{"entity-type":"item","numeric-id":2764141,"id":"Q2764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313004$B4D1449E-DA98-4886-8225-B0FCF64A089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313004$B0498410-6B91-490F-B5EF-59355FA2F9C2","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":"Q5313004$88FD9DD8-D4CE-4FDF-8303-782FECE4256B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5313004$F667E6FB-94BE-44A2-AC54-A2212926EF6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313004$6138F14A-99D1-45D7-87D8-AF1B756E1B1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0170c83c4bd1a11b687dcec18db7fa4b159647bd","datavalue":{"value":"2199383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313004$2CED4685-798B-42E0-9B59-A9C3BC7814B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e169b5b60efc7a001444704c481301e199e27a64","datavalue":{"value":"Graphical specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313004$E2910566-FCF8-46F3-A5E5-64A987AEF697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313004$0427DA52-24EE-4369-ACC7-13F283E3593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c224cb9f062127910300c3c092c6a12421061bb","datavalue":{"value":"may testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313004$3157A957-9A9D-430A-BC4C-DCC67019DD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313004$9B15CE20-D5D0-4E3B-8D97-82AED9FF7D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313004$E1BDC4AE-94B0-4945-9385-9C8199EB4854","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313004$22F1BF11-BE37-4AE9-82A7-5E8ACEB8F4AE","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":"Q5313004$1043C999-FDDF-4AD6-BCAA-089E4F94EFB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dff01cbc3ae12094954ad00d68638af1a52ca9f","datavalue":{"value":"https://doi.org/10.1007/b98770","type":"string"},"datatype":"url"},"type":"statement","id":"Q5313004$7549939C-FC39-4AA4-B668-9303111E2FA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8ec3e1bd13ebda70cdbfb6ad52e1e51511b2040","datavalue":{"value":"W2973096144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313004$58C2FD3E-C740-4BE6-ADEF-8EC9BE61F375","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90922b80166bb3d5facc5e03a2ab57fdb696b902","datavalue":{"value":"10.1007/B98770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313004$8CA0094C-8B62-4024-81F6-E1FBFA5188D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80572cc58a6a5af95033d8edc044ec3f129b4d77","datavalue":{"value":{"entity-type":"item","numeric-id":1870297,"id":"Q1870297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e224b78763f1c13c38d4e607e92d278f6a8cfaa","datavalue":{"value":{"amount":"+0.8307264447212219","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":"Q5313004$5D1A5FD0-6815-4A02-AD4A-ACC8BED76656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74bb671bc0619d933536a23f230f196ce7b85787","datavalue":{"value":{"entity-type":"item","numeric-id":4251113,"id":"Q4251113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d66d300680864dd5ac1c2cf1f909cfdb977ab3","datavalue":{"value":{"amount":"+0.8142819404602051","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":"Q5313004$A6641724-CA41-4383-A330-0B3275288DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d13a9bfeb7c206bb6df6f101bee75e863988bd","datavalue":{"value":{"entity-type":"item","numeric-id":4222940,"id":"Q4222940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0744c38f7261d4e027f592ed5e9bd91a459be8","datavalue":{"value":{"amount":"+0.8008449077606201","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":"Q5313004$05855B1F-ACF3-40B8-9889-6BAF11A553B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1010e69a7979e1dfdec988d03886ce05d64f1939","datavalue":{"value":{"entity-type":"item","numeric-id":4250659,"id":"Q4250659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f88ab597bdd5d5886566b8e1aa891441f67025","datavalue":{"value":{"amount":"+0.73211669921875","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":"Q5313004$FDEEBAAD-97BC-48A2-885F-F79926962ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1a2edb4bf64d789a481ce8ce7f205da66477c0","datavalue":{"value":{"entity-type":"item","numeric-id":4027619,"id":"Q4027619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f88ab597bdd5d5886566b8e1aa891441f67025","datavalue":{"value":{"amount":"+0.73211669921875","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":"Q5313004$1BF7949A-AA1A-407A-9DBE-D2ACA045AB78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5313004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5313004"}}}}}