{"entities":{"Q4222981":{"pageid":6252582,"ns":120,"title":"Item:Q4222981","lastrevid":46603197,"modified":"2025-12-25T04:42:39Z","type":"item","id":"Q4222981","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231656"}},"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":"Q4222981$ADE35CB6-3B2F-4134-9C6D-E2D606E56E4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"584bcecffbd7fc1ed4c4c30ed195753f4ea369dd","datavalue":{"value":"0917.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222981$0E7C76DA-19E0-4E8A-9409-8722A966C257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9e5df512942e7d0bfb634d7aa7c26774b48385","datavalue":{"value":{"entity-type":"item","numeric-id":997832,"id":"Q997832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222981$F75EAEB8-8A9E-4EDA-8DB1-71CD02FEABF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac6288c4dd54f19de1f60f43de451f11c91c5d5","datavalue":{"value":{"time":"+1999-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222981$E27BE076-96B9-4C7A-A6D9-AB8487591B6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fe9f9b8fdd86334524329b5f685f635ad451cf8","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15005","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222981$0DC340D6-5DE7-4F29-96A0-C744B07BD584","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222981$E10A40DC-BA54-431A-8FBF-EF78708204A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222981$29A661C4-08FE-432B-8BB2-1C880C11EE6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff42c5ec8b2476cac2a1c05c955654f3f43399c","datavalue":{"value":"1231656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222981$CCFC1418-A876-4E77-AEB9-8CCB6462B5C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222981$D5887835-E45E-45BD-9BC3-AE49DCFE7820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222981$89A5B1D2-008F-4134-BA32-26A2CD511793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806cfe6e564bacf05f53b4c64d2e1568f8f7b285","datavalue":{"value":"MAUDE","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222981$CEE45E71-E83D-4DF3-B571-7BD5D983F1B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222981$8FCA3CE4-2580-4658-871D-0F394B4F6C8F","rank":"normal"},{"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":"Q4222981$53D98D54-E6B5-4C36-8044-445172BFA070","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":"Q4222981$9201FDC9-968F-4B47-B87C-45F808E1CF32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fadff137f13420943031c29ba42a7c7f2a07da8","datavalue":{"value":{"entity-type":"item","numeric-id":1407059,"id":"Q1407059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963c9b5070d50e5f592d8aa007b8875d546ff345","datavalue":{"value":{"amount":"+0.7831137776374817","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":"Q4222981$EA259853-64B9-41DD-8C2A-64A1AC2060BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4abb0f35c32cf2460c2c8db7cd10c3521db90f","datavalue":{"value":{"entity-type":"item","numeric-id":3780427,"id":"Q3780427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2bcb32f91107bf0e45a60ed69260dc35024299","datavalue":{"value":{"amount":"+0.7612453699111938","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":"Q4222981$6E69EAEF-5832-44F5-9B11-070CB9C35684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec530746eccf4ecbe5c092ef93257110410c56c7","datavalue":{"value":{"entity-type":"item","numeric-id":2873679,"id":"Q2873679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3654cd172b9cc882bfccd4b1379516ec7167d13","datavalue":{"value":{"amount":"+0.7476379871368408","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":"Q4222981$8606ADAE-A92A-4424-AE9C-D74E23C3529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd27c5ee38bad862b3ffcc58afd5956965cc647a","datavalue":{"value":{"entity-type":"item","numeric-id":4702599,"id":"Q4702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a95f76f582bfdf915f51b1085d76a9436b9728d","datavalue":{"value":{"amount":"+0.7424736022949219","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":"Q4222981$05005C38-BF55-44D0-BF19-2B8F69082B8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222981","badges":[]}}}}}