{"entities":{"Q4493901":{"pageid":6523494,"ns":120,"title":"Item:Q4493901","lastrevid":47022438,"modified":"2025-12-26T01:48:05Z","type":"item","id":"Q4493901","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1487493"}},"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":"Q4493901$5CA0940A-09FE-440C-BA38-E5F88B8CE6C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbe43ac2618ec4fcc6519cb59bfe42f52ee1569b","datavalue":{"value":"0948.03512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493901$8BDFF69F-EEA2-45C5-8B1E-BE607FC1E755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"140a93f07512b5850846d6b8052fcba4a2714691","datavalue":{"value":{"time":"+2000-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4493901$2D6F9A82-8CA0-4529-B8B8-43CB6609556B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493901$E5A95513-6C6B-459E-9FBE-804914FB62FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493901$B740E984-7056-40EF-B8F2-D01B40EA6C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493901$AF8971C2-EB33-4183-83A8-330B3830731C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68fb7d5eb2badbec535ce868130ca0054518f518","datavalue":{"value":"1487493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493901$426F0E3F-39D9-4CEA-9482-9149C6E35563","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3ad7ff3b0a4aaca0ded52848e4df14d0ec2a81","datavalue":{"value":"specification of software systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493901$C2A41B9C-7181-453C-8802-0A5D061A5AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9538394f74932a8eca06953b8df0d498142a3a6a","datavalue":{"value":"Z notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493901$3C5C15C5-AA37-492A-AE0C-C9F752285057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493901$607C53BE-A353-4E73-8DA3-17D449D6CFE5","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":"Q4493901$B1B13B1A-CA08-4BEC-AA9F-EC02F95C7F6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a514b76999f47d33792c86f9092cd848a28d24","datavalue":{"value":{"entity-type":"item","numeric-id":5926770,"id":"Q5926770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4861c254debe3fcda3a99f411abf52c997289008","datavalue":{"value":{"amount":"+0.9990241527557372","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":"Q4493901$52FB843A-F6D2-46CD-B67F-F92A711344A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9272fab4f0ab93a022a7f20c9f6fa01a3e2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":1974477,"id":"Q1974477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca09ad39cbbc81234f74948c7aad2e14d02f0008","datavalue":{"value":{"amount":"+0.7775571346282959","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":"Q4493901$7C07CDEE-5170-4603-9ADE-2AA6633BC2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e370eb66202d526cfc51dfb5304bcbdbe4c05ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1974478,"id":"Q1974478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e05dd924307aa3f9bb018e0644c1b977005f9e","datavalue":{"value":{"amount":"+0.7667616009712219","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":"Q4493901$1502D94C-96EB-4E14-AD54-989D411375A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e1c1b4624c47741cd53ac3f4d52dde3bd2a743","datavalue":{"value":{"entity-type":"item","numeric-id":4680194,"id":"Q4680194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39cd82e80bcd1796c21d74db1ef3fdf7f79d6ee","datavalue":{"value":{"amount":"+0.7538309097290039","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":"Q4493901$72C103E4-1311-4370-B221-6767AAAD73FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59fffe93b8140a5662a30d8d749a62d448a0230","datavalue":{"value":{"entity-type":"item","numeric-id":1583855,"id":"Q1583855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be7bdbdcb0e7aab55e7bd5420cfb4749b3d5d72","datavalue":{"value":{"amount":"+0.7342283725738525","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":"Q4493901$0711263D-91FB-4352-B5EE-088617CB0E06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4493901","badges":[]}}}}}