{"entities":{"Q2907326":{"pageid":2918051,"ns":120,"title":"Item:Q2907326","lastrevid":58054932,"modified":"2026-04-03T15:17:35Z","type":"item","id":"Q2907326","labels":{"en":{"language":"en","value":"Towards the formal specification and verification of Maple programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079500"}},"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":"Q2907326$71C48124-0C29-47B2-919E-BF052D70B199","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b53d0b798bd01e94dbc58439450be52b675c5b35","datavalue":{"value":{"text":"Towards the Formal Specification and Verification of Maple Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907326$A50F8020-70AF-4185-956A-139AFFA6226C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fea4ef177883c5e68f5ff7e17ea3afe0fc265c33","datavalue":{"value":"1360.68590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907326$64D10A60-BCCA-49F7-BFAC-468C9835B977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b67c6104c6caf6155dbc05b249dd7bf0fb578a0","datavalue":{"value":"10.1007/978-3-642-31374-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907326$41525642-AF2B-4D6B-90C3-110F906BDA32","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":"Q2907326$19F6459E-0B3F-4178-A983-0D4F6FDD0586","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":"Q2907326$1775D3C3-A0EB-4898-8561-1543F13CD574","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":"Q2907326$EF40A6FA-91A9-4075-A074-7A5D664AA9FA","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":"Q2907326$4C4D8A1A-9889-42DC-A1D8-1C86A419CCBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29445517a832d53694aaf4c9a19ead7f0ac414cf","datavalue":{"value":"https://arxiv.org/abs/1207.2300","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907326$DCE7CF33-33D6-4BA3-B1B8-8406AC52A4E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907326$34E3B712-7E93-4942-825D-29B2166CDFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907326$A46E356B-B823-4897-A1FC-72A15422F4A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7795a9e0a1dfe666014d55c4bd5e7d2abdb23c00","datavalue":{"value":"6079500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907326$192D6614-788B-47B6-B89C-55108D17C111","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907326$56ED9F6A-8283-44A9-A161-36C76B3B99BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907326$C2440179-5C87-407F-9905-13D121BADD92","rank":"normal"},{"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":"Q2907326$46BC4F36-27F6-46D5-8028-0AED894312D2","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":"Q2907326$0A8BAFDE-8C06-4762-804C-C79E347E8DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907326$D7D6878F-8797-4231-8560-707026BF070F","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":"Q2907326$3F04A27F-D403-4FC8-A273-AF2DF8393367","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":"Q2907326$74203704-C447-4B3A-AC16-D84E191C1AE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18c71651b7c91ee9870a72d1eb9def59ed555890","datavalue":{"value":"W1601297445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907326$20E6D033-9518-4959-AD77-37FB34575A51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c850cb3463a7c8c3d7146dbb01477bbecec282","datavalue":{"value":{"entity-type":"item","numeric-id":2907346,"id":"Q2907346"},"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":"Q2907326$032F1BAA-7FB4-4F4F-B13A-FDA006566786","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":"b08a6dcae36fde5c3205904655d249f7a1254309","datavalue":{"value":{"amount":"+0.7371630072593689","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":"Q2907326$640556F7-B175-429F-87DB-D6C52C2EC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6eec29513884a6c7758266ac052f8eb2376735a","datavalue":{"value":{"entity-type":"item","numeric-id":4282493,"id":"Q4282493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7634d7339f7cbab3b2f6bb0c91bcf2a8c989ad38","datavalue":{"value":{"amount":"+0.7322611212730408","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":"Q2907326$E998CBE0-7EBB-41A6-97BA-5BACB9FC1C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217504699fe24b11201851b6ad3ced9990620215","datavalue":{"value":{"entity-type":"item","numeric-id":2456560,"id":"Q2456560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f21301e6bc559edee6be7c5afc7a42645e3147","datavalue":{"value":{"amount":"+0.7182400822639465","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":"Q2907326$6F06AAA7-A99A-41D3-9E2A-CA8C4D19602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d46b76892f94afd9cde934c0502f52ca35f522","datavalue":{"value":{"entity-type":"item","numeric-id":532411,"id":"Q532411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec39d268b478c9e5278e0bc094c91a79f5e8c28","datavalue":{"value":{"amount":"+0.7166208028793335","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":"Q2907326$8CCB5C9E-8973-440E-8900-2D900B47B20A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907326"}}}}}