{"entities":{"Q3777428":{"pageid":5807334,"ns":120,"title":"Item:Q3777428","lastrevid":52278977,"modified":"2026-01-21T08:27:53Z","type":"item","id":"Q3777428","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039256"}},"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":"Q3777428$5AF62DED-A8EF-41C9-9420-12B530EE7DC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c478b2d197883fbb470553e6d14e42955a0c68b2","datavalue":{"value":"0637.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777428$9C1F5298-F7AA-4083-B1B0-09E5A49E2081","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3777428$FDD658F4-D265-4A39-816B-698B6123A85B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777428$6DF38EBF-0571-4F26-AB8A-2B3FDB74B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777428$7261A1E0-3A9C-40AB-993E-2E9A76A5DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777428$1FE9E02F-6381-44D1-8B30-39C35261D52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777428$37FD6856-3B08-40EA-9617-4C2E3975BD21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c82256bbb29e86f9fd1eafa603ebc348951fbd8f","datavalue":{"value":"4039256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777428$577E341C-B608-4721-8EC7-EF082673FBC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777428$9C05944B-684F-4568-9306-E199376BC563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777428$B230C3D6-69EC-408D-8E40-3B6B68312A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c76a45522e58e434b32b42df30d1872ce05be1","datavalue":{"value":"relational specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777428$0F6D13B1-24C7-45E7-B1EA-1ED2176818FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777428$50D197B4-0D55-4B2A-893C-305875C9A453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777428$8657311F-86F6-4F79-B5FC-E15EDE967714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777428$83B8FB9F-C2EE-4BA0-8461-3AAE20A53775","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777428$DAE418B7-E9E6-48B6-9107-DBEDB8B87207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23362f3a3ca32cef709a9de5af2d16f5a00994cf","datavalue":{"value":{"entity-type":"item","numeric-id":1190493,"id":"Q1190493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777428$08DBC9A7-917C-4148-A22F-35A7D2B9924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777428$DFC18230-2BA4-4E0E-BE4D-C9246A5B1925","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":"Q3777428$66BB0A66-7A30-4292-B9DF-6020F7E6E830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b46880fad361ea9cb7025012869a05149d74c06","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bbc40938e4618760310c831fa036b93afa6691","datavalue":{"value":{"amount":"+0.8260449767112732","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":"Q3777428$307ADA5D-C026-4381-B63F-DB5B4968D36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731dc2b907e1f3d85cb35484f9b6a76814363f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1366311,"id":"Q1366311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bbc40938e4618760310c831fa036b93afa6691","datavalue":{"value":{"amount":"+0.8260449767112732","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":"Q3777428$204AF957-8755-4E67-8B39-9E4FA21EBE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8ef9d4240389554e81d67996e54fe22f675992","datavalue":{"value":{"entity-type":"item","numeric-id":4273429,"id":"Q4273429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14b76f3e5444641435f4f447838f20ce581a43e","datavalue":{"value":{"amount":"+0.8140079379081726","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":"Q3777428$E0E7A995-C249-48A5-B574-979CCAF6106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7c5c7912240f30efed1d28918c75858ea45bd9","datavalue":{"value":{"entity-type":"item","numeric-id":5096143,"id":"Q5096143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc097439a90327d3071054c287b90e2e7d93e9d","datavalue":{"value":{"amount":"+0.8085038065910339","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":"Q3777428$AEFBA960-C894-4FE3-8CDF-17E4FED8E563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aebdf736ab42d4c63a362e14d4af8b113c836db","datavalue":{"value":{"entity-type":"item","numeric-id":724932,"id":"Q724932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1a17cf8a01238eeb18627039c54826177381a6","datavalue":{"value":{"amount":"+0.7937918305397034","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":"Q3777428$D6322269-C948-4EEA-A166-EB6FAEDC9BE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3777428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3777428"}}}}}