{"entities":{"Q2907346":{"pageid":2918071,"ns":120,"title":"Item:Q2907346","lastrevid":58054935,"modified":"2026-04-03T15:17:36Z","type":"item","id":"Q2907346","labels":{"en":{"language":"en","value":"On formal specification of Maple programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079517"}},"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":"Q2907346$CCC79F7E-E7D7-498C-A69D-5AFFBC9F2075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ae77d1c32591485158c1332b4cddbe80a3bffd3","datavalue":{"value":{"text":"On Formal Specification of Maple Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907346$068FE2C4-5B91-4B26-9C28-16D23C4C5D6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c84e2c1be63078b1bebbbbf11a945402e84a324","datavalue":{"value":"1360.68939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907346$43276FB2-12F7-430B-B638-73C098221991","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8f09f31ab52bac4e501e2ee15efa7afab0d618e","datavalue":{"value":"10.1007/978-3-642-31374-5_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907346$FB4C1D5D-0632-4C7E-B397-3AA55B5F45F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5689e8d2dd49d182a9734ab75f4234247124914","datavalue":{"value":{"entity-type":"item","numeric-id":511654,"id":"Q511654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907346$694E5CA2-4DAA-48EC-81E7-654614792461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb33d69587ad5a852773f2fc55274bf330026170","datavalue":{"value":{"entity-type":"item","numeric-id":1019023,"id":"Q1019023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907346$A8CCF133-0713-4290-90EC-9A6544376B75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907346$27779B14-5412-4C31-BACA-B235A2546290","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-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":"Q2907346$574EC159-03A7-4A6F-8877-8762EE8058DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6635ea20bff671a6f36a416bf9b9ad25ec6b0d9e","datavalue":{"value":"https://arxiv.org/abs/1207.2291","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907346$524E3797-3FA6-45C7-B616-91E3FC18E353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907346$4B75F0DB-EE18-450D-AB03-E337215BE694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907346$EF7B9CBD-3597-4F74-96B6-D3AC37CDD69E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfcbc4c416fc555c00f15f9f33642ef6882fd6e7","datavalue":{"value":"6079517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907346$E187B959-438D-493B-913F-2FA9835FA5B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907346$26BCA6C8-E5C5-4F20-9EE4-E4EB93B46464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907346$EB3318EB-3C64-4B99-B423-BE64BC465269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b54fa9f3f79872e45052fff39ffb2e5bd9b86a45","datavalue":{"value":{"entity-type":"item","numeric-id":31769,"id":"Q31769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907346$96E94CE9-B47C-4602-80E4-3B676487CF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cff3ec3943bc7349da451bdc783749377fbb0927","datavalue":{"value":{"entity-type":"item","numeric-id":31770,"id":"Q31770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907346$215EBA70-8981-4768-A77F-543F7D25F84B","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":"Q2907346$71FF1B37-B7A5-4B62-9735-77065E7A1CE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd675b89c216c10301b241c94210e5d4123de817","datavalue":{"value":"W2151263772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907346$91D28B8D-9E20-4571-9C6F-BAFDBFA5B026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5242eda26d1cbf3106767a6da7e834db3303d4a0","datavalue":{"value":{"entity-type":"item","numeric-id":2907326,"id":"Q2907326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9821d97f7834c26dc4b71808b18dc4656b42e898","datavalue":{"value":{"amount":"+0.9237701892852784","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":"Q2907346$A31220B4-56D6-49AD-A8EB-208957D8FEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c05edf03180836f0a3864e2bf286ec0fcc28506","datavalue":{"value":{"entity-type":"item","numeric-id":4232479,"id":"Q4232479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f121478f1c3a4454e8459bf0bf04bb9c9747e3","datavalue":{"value":{"amount":"+0.7323150634765625","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":"Q2907346$E4A292EB-2B55-42A4-9DF5-5C58346BB110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a137a08830de7c5c58519b81de2158e47466b3f3","datavalue":{"value":{"entity-type":"item","numeric-id":4434813,"id":"Q4434813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f816d54e56f94e41203146bdd2f5a94c6abe678d","datavalue":{"value":{"amount":"+0.7041389346122742","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":"Q2907346$27746BB8-2C4B-4EB9-B7EF-BD5B16C533D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda7c17bf39834087c867a32da092791565428f","datavalue":{"value":{"entity-type":"item","numeric-id":4004141,"id":"Q4004141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca470eac896d036e1525022de818841e835aeb0","datavalue":{"value":{"amount":"+0.6993232369422913","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":"Q2907346$7688B7CD-FB92-446F-A12B-EBD8839A17F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10dd6efcad95784ec5416d36b9a1b91b05b756","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bbe6337fc38c88e8542064ed0883b013a7d78b","datavalue":{"value":{"amount":"+0.6990061402320862","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":"Q2907346$56245795-8A02-479E-AB05-B0EE588E0687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907346"}}}}}