{"entities":{"Q5313007":{"pageid":7342581,"ns":120,"title":"Item:Q5313007","lastrevid":48536980,"modified":"2026-01-05T03:40:18Z","type":"item","id":"Q5313007","labels":{"en":{"language":"en","value":"Algebraic Methodology and Software Technology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199386"}},"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":"Q5313007$AF00CA6F-DBB2-4141-8756-544DAA131545","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":"Q5313007$43B67DC6-628E-4F3E-AA66-9A32D8AE0F12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52b1fc6410e64a892e996b733fe51695b5ce8c7e","datavalue":{"value":"1108.68530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313007$D8BAFCF1-96C4-4586-A1B3-ECB9F8ED92CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313007$9379A956-989E-427E-90A4-FC01F610268A","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":"Q5313007$8E6B9D30-4788-40E3-AE61-4565DC4B1A27","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":"Q5313007$C5DBC6FE-3EF5-4C88-8F46-D8E91F9BA3DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313007$6A91459F-374C-4A28-A448-9C9B5E623E10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a684781d1a4242fd13ec0584b3f79ae2e4e6fab4","datavalue":{"value":"2199386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313007$C0C33399-A763-487C-AB90-2796CD31264E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e0c63e1a81d5dfcbdc8fb64b4d80dcd037b3de","datavalue":{"value":"Distributed","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313007$926F9955-902A-4BE9-8A73-4820B1BB420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313007$93202AE7-67C9-40B0-A98E-85B2824ED7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313007$86750E84-4429-4B2A-BCAE-8CE91A5EC7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313007$0B160EB2-6389-4886-B7BB-853F4A240330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a10294805fe20f690c0ecdc86089bc948300f99","datavalue":{"value":"events","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313007$955C2F77-B4F8-4472-B974-851487FA4D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313007$326A1EA7-D265-4046-A415-66709C264622","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313007$AB11F2E8-FF57-4CE8-A1B4-00E427D4D0BD","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":"Q5313007$95E722FB-592F-483E-8667-9BE21418C89E","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":"Q5313007$9FF72A1B-0FC5-4F6E-834D-1C240A92CC25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8ec3e1bd13ebda70cdbfb6ad52e1e51511b2040","datavalue":{"value":"W2973096144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313007$87DDC8DB-9617-4E71-B5A0-D4A3831DD2B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90922b80166bb3d5facc5e03a2ab57fdb696b902","datavalue":{"value":"10.1007/B98770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313007$C9E5042A-16AE-4A8D-AF27-4B6A5346B9EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9c1d110c46dd72812cfb6e0bb4e05426a42c37","datavalue":{"value":{"amount":"+0.7899195551872253","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":"Q5313007$6866CE27-5D5E-43D8-BD6B-4DEA2704985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65c8fffdba38bdabc49fcdd9e28a660d4f7c043","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812f6eda64d8778eb56df08ed3f901a7a11db2fa","datavalue":{"value":{"amount":"+0.7864590287208557","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":"Q5313007$98BA4B92-0A03-415E-B4E9-1FFB4E28F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426b482f7ccd1a328e951ae54d31b89f26e49d9f","datavalue":{"value":{"entity-type":"item","numeric-id":946007,"id":"Q946007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44088a158809ef0952053d38a506cd3062ba126","datavalue":{"value":{"amount":"+0.7857232093811035","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":"Q5313007$13C8113E-651D-4DCD-AACD-5A7D55F203ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39977c4f97dd371d59af55b22d7e2bf83be5be66","datavalue":{"value":{"entity-type":"item","numeric-id":5200069,"id":"Q5200069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506ce94f3852642f53bbc3e069485ea08c552eb8","datavalue":{"value":{"amount":"+0.777437150478363","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":"Q5313007$A9501D40-77C8-4A55-A231-739F6919143B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80931ace0d94aa3321f13d3354e42b864ce62c41","datavalue":{"value":{"amount":"+0.7764835953712463","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":"Q5313007$CEE74BED-7E95-4EDE-820C-29641D392433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5313007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5313007"}}}}}