{"entities":{"Q3460623":{"pageid":5240023,"ns":120,"title":"Item:Q3460623","lastrevid":80740856,"modified":"2026-05-06T16:53:40Z","type":"item","id":"Q3460623","labels":{"en":{"language":"en","value":"Mechanised relation-algebraic order theory in ordered categories without meets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527606"}},"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":"Q3460623$41335366-449C-411E-A85C-CCD38A1D71C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ffa8aca2ba1e34af90eb6de818c483531d960bd","datavalue":{"value":{"text":"Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460623$E02B9B68-8E2E-437D-889B-D88672ABFE61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc6f1db7eec74ebb3c9bf55183cc27e3ab61a5a","datavalue":{"value":"1405.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$8D20138E-13BA-434E-9893-8DBFBBDD32E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d0b3330ee00bf4c7756a1f87428dc343a419868","datavalue":{"value":"10.1007/978-3-319-24704-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$40CC9F66-6B90-4670-B019-22D201F8C7E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156a74ceb39504ec6d9f80bea93e6b0252572d18","datavalue":{"value":{"entity-type":"item","numeric-id":3460622,"id":"Q3460622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460623$A0ACC452-7005-4B64-BF09-C208E821C56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0d1feb73bc6dc1f21f46312ef6e54527d133b3","datavalue":{"value":{"entity-type":"item","numeric-id":406452,"id":"Q406452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460623$EF7BB7A2-99B8-4F27-AD71-D45A29929B2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460623$53DD3BE3-3F44-467F-BDAF-1056EB58D507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460623$82DBAF0F-2250-403D-98DD-1C95671D6478","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$DACDC2E0-CD6A-44CB-9DF8-A623F3A4EDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$A626E36E-0FBD-4C96-B11A-283628B66577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$3BBD8A77-B6FC-4688-9ED9-A005911C26E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$9D2AD81B-9028-4CFB-994E-10DD743FC5D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"735a7d87aa8aa938f6363b888a64adc754b2d399","datavalue":{"value":"6527606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$1CA8725F-7AE6-4B7E-B06A-98A1A0590430","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":"Q3460623$9B2B9867-E2CB-4A41-AE3A-BCCAE77B4420","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a81b8c221f028797c3ab5c04b1270ac96cbb116","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24704-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460623$F0EEE6A9-48C7-4343-B4F6-703F8BE2525A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c36e7db138a6de69dbfe8c1de373abfee2528fdc","datavalue":{"value":"W2261562153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460623$A847E7F3-657F-4B0D-A964-16817A95CFF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa8c8adfd11ec5f892ce8c4b06740a8802b167","datavalue":{"value":{"entity-type":"item","numeric-id":5410488,"id":"Q5410488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60321d996b4fa998d9b26a0fef4c5a356e336c82","datavalue":{"value":{"amount":"+0.8828821778297424","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":"Q3460623$406091A3-A311-4DE8-B9B9-86B3F3A9BB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e6db8142112c263cdcfe438e8f130fc33a56ff","datavalue":{"value":{"entity-type":"item","numeric-id":3416083,"id":"Q3416083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1aae32fea4d2266de04bcafc90a6f2c5c706577","datavalue":{"value":{"amount":"+0.762218177318573","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":"Q3460623$FB32A326-B098-4979-AE62-67B14423A009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bde838b53f4e6d2c68b16104a9479c0992a80b","datavalue":{"value":{"entity-type":"item","numeric-id":1800385,"id":"Q1800385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b16a4c51814a79ef66029228c66e4fd677fcae0","datavalue":{"value":{"amount":"+0.7568366527557373","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":"Q3460623$8A16FB2E-E26B-437E-913C-FD4930D557B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac170d6e48be3820bfcfa342d30c42115496def","datavalue":{"value":{"entity-type":"item","numeric-id":5313110,"id":"Q5313110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61bcfc75cc1d2b2b93df6082f56a432e47b1492","datavalue":{"value":{"amount":"+0.7545421719551086","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":"Q3460623$41340869-69AC-4351-9984-4F25A9650740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb22d69030fe69cd24997c0b1ce07633529ed59","datavalue":{"value":{"entity-type":"item","numeric-id":3498416,"id":"Q3498416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb99d227cecfb7218d04a8453e07d52c5a9edbe2","datavalue":{"value":{"amount":"+0.7533687949180603","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":"Q3460623$C3F6D35F-53A4-47EB-8A4E-5AB89B5DCA00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanised relation-algebraic order theory in ordered categories without meets","badges":[]}}}}}