{"entities":{"Q5446292":{"pageid":7475851,"ns":120,"title":"Item:Q5446292","lastrevid":50295836,"modified":"2026-01-13T18:51:23Z","type":"item","id":"Q5446292","labels":{"en":{"language":"en","value":"Automated reasoning in some local exensions of ordered structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5244184"}},"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":"Q5446292$42B092B8-A4CC-4492-A5B9-8D79D75CA951","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"297dd101edd8b6b0f4b321ccffe0c6e64dfcc8a3","datavalue":{"value":"1137.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446292$30AA0BAF-07EC-4E4C-8B94-A0FBC92F9D5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5446292$F3D24ECD-4860-4A93-9262-5579F96A12BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ae57a93bf70a9983b828e2db53ab609a97231e","datavalue":{"value":{"entity-type":"item","numeric-id":1949770,"id":"Q1949770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5446292$5EFFCABD-370F-44E9-ADD5-90DC89C6263B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5446292$CF4D2039-9C71-4809-8511-46679BF23947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446292$C74B388D-9834-46DC-9ADB-0F3F1FF44B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446292$8BCEAB3F-DB30-4282-BE73-410E378C7F61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5512eec310c3dc7b1d29c0ea05f2bf493ea5a253","datavalue":{"value":"5244184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446292$28297794-B23D-482D-8FFA-385C033E86C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71172f6d219138421aa862b7c17a96c52bef7654","datavalue":{"value":"lattice-ordered structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5446292$161FEC25-04E7-44C9-A2A6-F04021CE4BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6178e6e3ee3ad49e11d737a882d76361265c248","datavalue":{"value":"monotone functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5446292$0AE434AA-E366-4EA5-9C48-7D3A6CDC7E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf5a4d7367dfb0b9af148d8adb940044975ed4c","datavalue":{"value":"MY-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5446292$11B88722-A79A-46CE-9257-43FC272EB5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d333bec9fcb980bd4f276c1e38ed7badca083f4","datavalue":{"value":"G\u00f6del algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5446292$8F4347C8-A4C9-4063-BF67-514AAECAA121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5446292$F2D21C52-1E38-47CA-9350-7D5CF253F828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ee9025c6fe1070bd3df8d708ff2f77bac8c3919","datavalue":{"value":"hierarchical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5446292$5BEA033B-F895-4E15-8122-931F96D5CB91","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":"Q5446292$C85D210F-8AE0-44D7-ADD2-4F43B4CD69F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2843260133561894537ea85c8f36abd252a38008","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fabda0a57ea50bc4940286777f47d65e941835c","datavalue":{"value":{"amount":"+0.8079384565353394","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":"Q5446292$AD384403-FB4E-41A1-82CC-9A35009C935D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94c46f585b16464be837f72c88e9e5af5b92053","datavalue":{"value":{"entity-type":"item","numeric-id":4916087,"id":"Q4916087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4991022bce183fc0d2782b95843aef659ba9c077","datavalue":{"value":{"amount":"+0.7680528163909912","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":"Q5446292$7F8F7B64-4215-425C-B4C8-2264C0024E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54920a1fc316ac7881f28032a08130c26cb40c0","datavalue":{"value":{"entity-type":"item","numeric-id":3525000,"id":"Q3525000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e09b54a02f597db3bc51c3248ec1ec1d1baa63","datavalue":{"value":{"amount":"+0.7595428824424744","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":"Q5446292$BDBE556A-291D-4D54-AD4C-F12BC0EF089B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92df7f6f34f3eef6febd15f62140ffb25eb649cb","datavalue":{"value":{"entity-type":"item","numeric-id":4524779,"id":"Q4524779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c7bf1a22321425485c3156fd0ee65234cb3f9e","datavalue":{"value":{"amount":"+0.7541159391403198","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":"Q5446292$C61BF64C-7835-4FF9-A4DA-E2462CDBBCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6dc544480134f01527a59c0c6fcab5628603f0","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636c4ae4374ef0cb59727c3d6d64cb94803a3124","datavalue":{"value":{"amount":"+0.7315123677253723","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":"Q5446292$4E4B4CB7-1DC3-4239-8209-8C399168806C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5446292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5446292"}}}}}