{"entities":{"Q3431976":{"pageid":3442679,"ns":120,"title":"Item:Q3431976","lastrevid":46253110,"modified":"2025-12-24T10:05:49Z","type":"item","id":"Q3431976","labels":{"en":{"language":"en","value":"Computability in Specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142599"}},"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":"Q3431976$E611FFF5-8EF5-4702-919A-B4695CFB7A25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecff492a2d25390ada0b8e2eb5b31af3640081e8","datavalue":{"value":{"text":"Computability in Specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431976$DA1C13B1-52C4-4CEB-A8D6-20F50C1451FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6f5fc57299df5089dcdb7753553e4d23f140220","datavalue":{"value":"1122.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431976$8742949A-EC5C-40D6-AE82-FA8BC02E9990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc7746fd7ad5fe9b3715535cbb63cacd95c258","datavalue":{"value":{"entity-type":"item","numeric-id":236812,"id":"Q236812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431976$B0B0B0CE-03E9-4F12-AEE8-9EC1CBBEB962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431976$C3E96038-A84E-44D9-8DFC-F3E51A803022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431976$2BECC7A4-9851-48FC-8B14-F5D7ED037474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431976$0BECA5F9-FA10-4280-9104-940BD60F51DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"836966c39a36d6f30aec0e23b7b4b245e3c84f2e","datavalue":{"value":"5142599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431976$C6396740-738C-49C8-AA49-A6C811E736B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2faf303f989993a1d63975dc22ba73f1afb46c","datavalue":{"value":"conservative extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431976$45D5DEAE-83CF-4819-B37E-5CEC3C508CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431976$6FD38717-9B1B-49B3-B3C1-FD1E2B302D1B","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":"Q3431976$770F2ED8-E98D-4AE3-8FD2-EB49871D5D0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8c6c8d91f75b5bf12b7ce1f9cc58f1c1d9a3446","datavalue":{"value":"https://doi.org/10.1093/logcom/exl012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431976$57A6F71D-B31B-41F6-B399-13B4C15E8084","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc99145fbfdcc207b6a4db9667db839773d0f11","datavalue":{"value":"W1991434453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431976$57C29F85-5B76-41EF-BFD9-A000DD30EEB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd1bc96668b6f27b295448c89873a2fccc6b368f","datavalue":{"value":"10.1093/LOGCOM/EXL012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431976$AF6FAD8C-C1D7-4824-8AF7-BAB4B2425C36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431976$93A60C42-F4AF-49BF-8946-019A9D965C81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efad3039bb08f793f39a138e42e4cc3e05b171aa","datavalue":{"value":{"entity-type":"item","numeric-id":3698786,"id":"Q3698786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed06550b377969611ccc022af8a9c4515202e210","datavalue":{"value":{"amount":"+0.9029989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$B93BFBF2-CCEB-4A28-9282-C6EE2918A920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46989099fe36047aa1eb6e31293b85c9f8e92980","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9e0bb601ae5e18a0c34d90bd6f9077ba80f78f","datavalue":{"value":{"amount":"+0.90299886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$6971207F-F744-4521-BEAF-849D6CA0960B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5ccccc3845cab9f9d2079fb15c9cc0b66d58c7","datavalue":{"value":{"entity-type":"item","numeric-id":5153715,"id":"Q5153715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9e0bb601ae5e18a0c34d90bd6f9077ba80f78f","datavalue":{"value":{"amount":"+0.90299886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$6EE0EE89-56B6-4BEF-A097-796A312F8D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6f7e986eb5b80a7a848e5f0c513006c866aa00","datavalue":{"value":{"entity-type":"item","numeric-id":5738956,"id":"Q5738956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4623c8b02e3e43ff43f67844ff5dd4113e90ff8b","datavalue":{"value":{"amount":"+0.8893661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$6500B755-8CB4-486C-AADE-1FF3E6AE2910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56fe48c1661c239a94bf4d8f44558741bf185f9","datavalue":{"value":{"entity-type":"item","numeric-id":4993085,"id":"Q4993085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805bc631ee68b81175738459befb1951963d8d63","datavalue":{"value":{"amount":"+0.88366497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$BDEF9523-CE62-4A3E-8D54-EB25DB349D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a0847da440570da10ba5ba98a156365d360b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4242448,"id":"Q4242448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c33847fd799c21261af50a8583583160ce57fc","datavalue":{"value":{"amount":"+0.8815636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$AC460028-C79D-4722-ABA8-A676F102E9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835f3a536a6ade90f605c265c3f284c8bcfd79b6","datavalue":{"value":{"entity-type":"item","numeric-id":5476783,"id":"Q5476783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020851675d6e2f7a2235a2853dd0aa5d699f9b5d","datavalue":{"value":{"amount":"+0.877403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$8436989D-BC55-485C-95E3-9AB6CAAFAAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a450f7952d0c888a2e027585b171cfd8320d35","datavalue":{"value":{"entity-type":"item","numeric-id":5425375,"id":"Q5425375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180303cdedb44bf297d0639f1d883565b65e4b2b","datavalue":{"value":{"amount":"+0.87585557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431976$5D049000-8EE1-4990-9F15-8D1A29A5B608","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3431976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3431976"}}}}}