{"entities":{"Q5089612":{"pageid":7119188,"ns":120,"title":"Item:Q5089612","lastrevid":91339340,"modified":"2026-06-04T22:55:12Z","type":"item","id":"Q5089612","labels":{"en":{"language":"en","value":"Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7560035"}},"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":"Q5089612$E514B13B-AD2A-4F03-B0C8-179778A5213F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"070bc2dc20a6af3505c4f3f1583d74ccdfa79e46","datavalue":{"value":{"text":"Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089612$C70F6CC2-6003-4FC4-A70A-D69CE3568BE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8becb7ed9ba5b6a512d1d23f91b643bc33b21212","datavalue":{"value":"10.7561/SACS.2020.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089612$E43DF52C-3922-47E5-A1F2-16103A2A4591","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089612$8BFB50A3-48B5-4026-829E-67FE5844C02E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089612$E57243FD-6EC7-47E7-A025-B91D23D0AB5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd16289d0fc1079df359b6aa9d58fa174ea29bb","datavalue":{"value":{"time":"+2022-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089612$5122DA79-B99F-4085-81FE-38834B952155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089612$815DDECF-0369-4366-B074-779B00D82C16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"004d36b60378c0d5ecc41ae252e787c28f1558e1","datavalue":{"value":"7560035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089612$B284E33D-7A03-42F9-9207-D63ABDEE906C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089612$7D0946B9-C484-4C9B-BD49-E19D4BC16593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1abb62af5774fba62d5c02697d5f95947dc0f6fa","datavalue":{"value":"fracterm decomposition operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089612$351D49B4-4DA9-46CD-B437-0DE74557DE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab2affc8f49c2196c6ebca8a94d8688867a20eeb","datavalue":{"value":"arithmetic datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089612$FDDB419E-FD87-4A25-B681-A337A1168608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c239bd8b811b6802c0ed4ddab9e6d5d502502b5","datavalue":{"value":"poly-infex operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089612$F64412BF-1561-4A24-8EAE-D8CD3ADE612F","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":"Q5089612$7764E887-D4FB-4738-A898-EC66BF343A77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fae58f85a5f8a1441baee43ed88fc86edbf76d6","datavalue":{"value":{"entity-type":"item","numeric-id":2168794,"id":"Q2168794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f21c168cf2edbe7cda5504d3ed537b1318b547","datavalue":{"value":{"amount":"+0.90154535","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":"Q5089612$BFA7B2A9-209E-4F9D-9246-FAF4864D550E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9823eb58b9d983b49265a1eabba517371fe1b371","datavalue":{"value":{"entity-type":"item","numeric-id":3546326,"id":"Q3546326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111a10758a4a978825d1ce17894d3645e07f88d4","datavalue":{"value":{"amount":"+0.8825964","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":"Q5089612$FAD9DA9E-CE98-4ED4-801E-634E43DA4A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb677468154bf0451a3cb2f0db2dc792e286a57","datavalue":{"value":{"entity-type":"item","numeric-id":2237335,"id":"Q2237335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf89aef7cfcd44f36fde4f5f920cd10d4c877d62","datavalue":{"value":{"amount":"+0.87508315","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":"Q5089612$56190F4D-35FE-46FF-915E-1C09AA4B9EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54b02a3d9edbd970f6031693141435f5e26e63e","datavalue":{"value":{"entity-type":"item","numeric-id":5170818,"id":"Q5170818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bebb678ff711227bf35202619e8bfa4fa8affa2","datavalue":{"value":{"amount":"+0.8707615","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":"Q5089612$5415D11B-0553-4E99-875A-3BFC327254A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef8c3e01d06907c997bf702141028b7dd599b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5292644,"id":"Q5292644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d33d1f8709fb1144423748df95490c5fbe54ed","datavalue":{"value":{"amount":"+0.8642122","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":"Q5089612$5332F212-C817-4AAF-AC87-184D28F0D0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abd49b285ed70a4a417db9e9c22d4cd33b80095","datavalue":{"value":{"entity-type":"item","numeric-id":4297109,"id":"Q4297109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4813b4e4e1d5f1fa9c5702520ef7d5fb9f15d1f","datavalue":{"value":{"amount":"+0.8577188","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":"Q5089612$75CC8757-7BB2-4048-9467-7F50B72501FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8c89061bfe71fe903cf3a559ca8528d9eabc6","datavalue":{"value":{"entity-type":"item","numeric-id":4536341,"id":"Q4536341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5b639ad8044b00fa9e62f5645ee474ba165d58","datavalue":{"value":{"amount":"+0.8561727","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":"Q5089612$2CEF2632-5FB2-46D4-AFEE-48EFA03DB491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052b05f52bce14eca63d5caa03f50876afa12cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1694026,"id":"Q1694026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a8f1f3debbed0103dc536398c78607881b3951","datavalue":{"value":{"amount":"+0.85575336","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":"Q5089612$52E6E792-EB16-4305-B21A-C2BD67C4BC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8986048c9fc45f1abbad75882d06bfd1be416a","datavalue":{"value":{"entity-type":"item","numeric-id":2768448,"id":"Q2768448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e2378b555cf8d8f2bc68964d2000843c6defde","datavalue":{"value":{"amount":"+0.85146505","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":"Q5089612$2C23EB71-AF34-487C-9AC4-C51D1BB3820F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35633f1367b48de5d78c7b002b8ea6d1ccfa4145","datavalue":{"value":{"entity-type":"item","numeric-id":5902408,"id":"Q5902408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d7eee7e35a44e120226f6e385e92c82d74af31","datavalue":{"value":{"amount":"+0.8431502","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":"Q5089612$B6E165AB-66C3-43D9-B297-548C0B3C849C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers","badges":[]}}}}}