{"entities":{"Q5312990":{"pageid":7342564,"ns":120,"title":"Item:Q5312990","lastrevid":48536944,"modified":"2026-01-05T03:40:17Z","type":"item","id":"Q5312990","labels":{"en":{"language":"en","value":"Algebraic Methodology and Software Technology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199369"}},"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":"Q5312990$759CC5AD-A74E-497C-BCB3-F7F2FAB319C0","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":"Q5312990$07A1F6FA-BA0F-425C-91AB-ECA990BDFCE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33bf53d5c98629c3ea01496408223c310708ef58","datavalue":{"value":"1108.68397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312990$610A10C3-12E3-4C24-BCC1-E1A3FF64064A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"942966c72aecf561bad4279cc3ffd666214c0ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5312989,"id":"Q5312989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312990$8E5CD4FF-98EC-4091-B574-A5738F3E0CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"275b282993626dfc3244a57858b27ad0b295bda3","datavalue":{"value":{"entity-type":"item","numeric-id":1391096,"id":"Q1391096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312990$995A59A6-C775-4FDE-ADE4-301235EBCF70","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":"Q5312990$779FE80C-7F3A-4C89-9985-752F6C138460","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":"Q5312990$4206ADA0-232E-4281-8767-B2D5576C6EED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312990$2CF8D6C4-E2C5-4B67-9DCF-7FD71BEE292A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718c4c7d2f5dfb6cd4d30bd95e86e20f2bb99f76","datavalue":{"value":"2199369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312990$E9FF21CE-EF0C-439F-84DB-E501F643ECC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1bd38dcb2ca825e9809c728aa0f92f45cca9a08","datavalue":{"value":"Institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312990$CE7490E3-5BA2-47F1-826B-1407DE731C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be9175e0043b97a2843fab90df5854dc50c6d55","datavalue":{"value":"RSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312990$BEEAE1E1-492D-431E-BE38-81870166912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312990$0CA2F6A5-8491-42E9-9AFE-F1B8BA25A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312990$85596D36-ED6D-4B22-B0D7-D46B90DCE46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85906738a54ef6183614d4687749b26d72c6847f","datavalue":{"value":"proof support","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312990$18E724C8-F24C-4B72-9FA2-59BBFAA1A9C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312990$B53A8495-1B6C-4E3C-AA23-6DA23AC2EAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312990$F9F24793-6888-4334-A5A5-A0E60A2FDDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae8739186f915dcdf22aade1969a1b064b021cc","datavalue":{"value":{"entity-type":"item","numeric-id":15781,"id":"Q15781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312990$2B68DDA4-AC0D-4941-8629-88817CF99800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312990$95840288-62AE-4AF3-8CD2-B068829F9503","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":"Q5312990$8EA7F340-6404-4DFB-9DA7-5CF11A54E25E","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":"Q5312990$9ABF0C77-DD50-4EF3-B95B-65C62DA15AA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8ec3e1bd13ebda70cdbfb6ad52e1e51511b2040","datavalue":{"value":"W2973096144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312990$F5AC6389-9DD6-43E8-95EF-521A4DDFEE4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90922b80166bb3d5facc5e03a2ab57fdb696b902","datavalue":{"value":"10.1007/B98770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312990$6274506A-45E0-4AAF-BC56-D1E3B4A85D04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ab7cc9e9b3d1e6fbfdec577aa9a62f3f22ff42","datavalue":{"value":{"entity-type":"item","numeric-id":4680192,"id":"Q4680192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9af7b4e9fd363d4b25f23b29a92663194870f80","datavalue":{"value":{"amount":"+0.7819079160690308","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":"Q5312990$BBC24D95-5890-493C-84B7-5ECAB80D271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563399d14532c020de5d2280728c0bc516ad83ac","datavalue":{"value":{"entity-type":"item","numeric-id":5403080,"id":"Q5403080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489cde9186904a79c65cac6fd2e83f5f1d03122e","datavalue":{"value":{"amount":"+0.7729766368865967","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":"Q5312990$A60965FF-6E1C-45D3-92E1-78E8625B4CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba65f6a58ed08b60fa73248e76ff032f9c8be87","datavalue":{"value":{"entity-type":"item","numeric-id":2722041,"id":"Q2722041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2abf7158a6fcf26ab487eede4700f951aca2268","datavalue":{"value":{"amount":"+0.7439556121826172","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":"Q5312990$5F5A9B05-EAB4-429D-B3AC-D8AF697FE332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf0363004b1687b7ce10e5b324f6507c9ffda38","datavalue":{"value":{"entity-type":"item","numeric-id":3525018,"id":"Q3525018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2151f6e9f5566862da7ebebb244edf85c0c934e9","datavalue":{"value":{"amount":"+0.7396978735923767","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":"Q5312990$FB746EDE-E696-4516-8A04-25AD8D4FACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214128de06c844878b87e8b8e5ffb2967f90394f","datavalue":{"value":{"entity-type":"item","numeric-id":3591069,"id":"Q3591069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51e3c4f11fb3de35bcb7394a429e25bf7c30cdd","datavalue":{"value":{"amount":"+0.7384430170059204","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":"Q5312990$D8624606-D6C4-4598-82CD-F2F1B48DC990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312990"}}}}}