{"entities":{"Q2767007":{"pageid":2777746,"ns":120,"title":"Item:Q2767007","lastrevid":47731885,"modified":"2026-01-02T13:37:50Z","type":"item","id":"Q2767007","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1696758"}},"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":"Q2767007$74B6527C-2350-45E1-9899-2B1839A5A906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5832c6638158754f62a0572945ba219ae96cedf9","datavalue":{"value":"0988.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767007$3DAC1397-CE87-4A27-99D8-8FD7A32BACFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767007$7E73C71C-2B46-476D-8C9B-F243BA1ECEB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767007$FB968CCB-1A4A-45BA-AF3F-E7440980265D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767007$D4657216-B1CC-4F96-9A73-D135991B5F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a539e1617e776d9bb51fc505476e44599cff1d9","datavalue":{"value":"1696758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767007$43AF47BB-A07F-4814-8E6A-8D1F919EDE8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767007$E070E786-AA76-4E89-85CB-E9126C1D5D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767007$BA92242F-588D-4755-96B3-59564B5EDC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01eb2b59ab7974a305e9f4bc97a3e6a03bbd722f","datavalue":{"value":"regular algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767007$ADD5152F-42DE-4CF8-939A-F0C9F112E498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a57c87fecf44b32a4d3853d0208d58159a88441","datavalue":{"value":"behavioural constructor implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767007$BAE84C41-9806-4CBD-8C26-421DB893627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f73a89a1798feeb401a2fd60f9227bbca68a59","datavalue":{"value":"proofs of behavioural properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767007$1C6A713E-69BD-4B6E-BCFB-C9E09AF98C68","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":"Q2767007$4B873787-A5B0-4A25-AB30-61B451B1E22E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a3c6bf13748f76923b5414f19bc08eac938eba","datavalue":{"value":{"entity-type":"item","numeric-id":4472004,"id":"Q4472004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da1322a56146f94b769a56db76f0ef289177ee0","datavalue":{"value":{"amount":"+0.8243881464004517","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":"Q2767007$CBE66A4B-FF29-4808-A0E3-E0AAEB4434EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e377286c0e68a6604ff3575e0f799968c00d5380","datavalue":{"value":{"entity-type":"item","numeric-id":2352506,"id":"Q2352506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98210546ca73f7b7c2ce52cf882bd99c96e246c","datavalue":{"value":{"amount":"+0.740473210811615","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":"Q2767007$E0A9AC68-8A16-4382-B095-90314B876ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bfb10a42c959c87e1db81626dd4be3d7e85b2e","datavalue":{"value":{"entity-type":"item","numeric-id":5096383,"id":"Q5096383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3298480d698c196152d11886a7749212610150a9","datavalue":{"value":{"amount":"+0.73543381690979","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":"Q2767007$D422C0DE-4221-4938-A17F-8C496FAFD8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c0b247fdf32a6c29e6de07d9e661fb11c73f45","datavalue":{"value":{"entity-type":"item","numeric-id":1127821,"id":"Q1127821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b353fca0decce90a5d9b7d883c6312e0212c8f","datavalue":{"value":{"amount":"+0.7340567111968994","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":"Q2767007$0D6EDB7F-5F4F-45B6-963E-52CAE9A1CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39eca9f95562e6115e4639f0089d090e5b39745f","datavalue":{"value":{"entity-type":"item","numeric-id":2908498,"id":"Q2908498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4ac21b3f86faabfa203c4111bd5e616188c125","datavalue":{"value":{"amount":"+0.7145214676856995","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":"Q2767007$FC17565A-0E08-412D-A228-79C311139449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2767007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2767007"}}}}}