{"entities":{"Q3210906":{"pageid":3221614,"ns":120,"title":"Item:Q3210906","lastrevid":45693094,"modified":"2025-12-16T12:10:19Z","type":"item","id":"Q3210906","labels":{"en":{"language":"en","value":"A Fixpoint Semantics for Ordered Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193136"}},"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":"Q3210906$85AF7940-3AAF-470E-8026-FB215145C806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6f7aff24db0f3e0f5105584c90e1ce3aded8f6d","datavalue":{"value":{"text":"A Fixpoint Semantics for Ordered Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3210906$495D1886-BDAD-49C6-B003-84390D5E63C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a52365ff4a5c007dfd53107893c968e2f9658f7","datavalue":{"value":"0723.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210906$01A79409-AD2F-45BE-8455-0BC526983715","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb332206e0ec1568e30509ff6f6d494fbaa96c05","datavalue":{"value":{"entity-type":"item","numeric-id":3210905,"id":"Q3210905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210906$403E1E34-691C-4D76-B933-DC75CEFAF4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02f201cd00f9aa80c1e56d34816f11afa8440ced","datavalue":{"value":{"entity-type":"item","numeric-id":352962,"id":"Q352962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210906$34806B32-88F8-40FE-A670-6FC245A8EC33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3210906$0BD77DBB-1308-4EE7-96F1-F70AB2AE5D8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210906$B3D5C382-4764-40EF-AAEC-67FE48AC5AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210906$764E020E-20AA-427D-9BA1-AB6F94B44347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210906$D79BEFDD-EAF2-4857-8930-9E816ACC33A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b467baa207f43ba18276c4ed9b7e574ad3a8997c","datavalue":{"value":"4193136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210906$58B8B161-A0C3-48F5-ADF3-D9B82F18DA07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944d5d5180d8865a6922fb1866080f07094436df","datavalue":{"value":"fixedpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210906$B62BE453-34FC-42FE-98E1-E45C29085660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a54f3e018cba00b3ea5e95a6220a58df0172b9","datavalue":{"value":"ordered logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210906$AE9E054B-CA54-4F55-97ED-BF6F7CD0293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"decc0170e0f04b17dd607ef434c60e397253451b","datavalue":{"value":"object-oriented programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210906$D0DC323A-88D4-4AA7-B95C-9D563BCD8F46","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":"Q3210906$7DCEBE33-2988-4797-86F9-FD99453B4FCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2099fe9ab23fb0ed8b6f95e4d902fdfe0806d6a","datavalue":{"value":"https://doi.org/10.1093/logcom/1.2.159","type":"string"},"datatype":"url"},"type":"statement","id":"Q3210906$37122CA6-FE65-4220-9342-BF026ECE58A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be71859506ba828c78fbabd4a826846e60b0b5fc","datavalue":{"value":"W2026953979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210906$C54EA26C-B951-46AB-8529-7B4B7F75E038","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7955ac904706e36a17091dc9f393d777bbfd5009","datavalue":{"value":"10.1093/LOGCOM/1.2.159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210906$B092B3BF-AED8-4FF1-9967-B9840C403A8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210906$5567186F-D527-4ABA-8B52-FE565E4D8B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001b1aa20f7fcd2f6a0cbb9ae9c35d1e3b8f8ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4551034,"id":"Q4551034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84a937c7067a7dd9b17b5bd9bda627abc76d349","datavalue":{"value":{"amount":"+0.97767466","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":"Q3210906$F684622A-E597-4EEE-AB8A-0760FAADCEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a637999b132d561731e438d9c302ae373ac21d36","datavalue":{"value":{"entity-type":"item","numeric-id":1190508,"id":"Q1190508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f194582d1ff2ff647a93d21592cd655c6d4cfdf9","datavalue":{"value":{"amount":"+0.91538024","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":"Q3210906$47FCAD48-4E63-4F30-AFB1-56422BA38726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6974fd841f9adc3bc0a4985bc5f2aef950954613","datavalue":{"value":{"amount":"+0.90856916","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":"Q3210906$06FD71FE-326C-4429-ACD2-9C648BB572B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb0b9a2c322ab5a0d5f9ca4512217011db1e812","datavalue":{"value":{"entity-type":"item","numeric-id":2957951,"id":"Q2957951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b937b5442105104213528b399be101ab136b6a2","datavalue":{"value":{"amount":"+0.90803754","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":"Q3210906$D3108AFC-1646-4964-A375-69BE36C34E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc90b0727030b603a2438e66b4adca9359b2a9c6","datavalue":{"value":{"entity-type":"item","numeric-id":1313371,"id":"Q1313371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed3f18a19933316775b23ed28f2571d952f08da","datavalue":{"value":{"amount":"+0.9075352","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":"Q3210906$8D203FCC-4C33-4990-935B-D893B55F1E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91407b64dfdc43aa08e4d4d1da867dd2b07757e0","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e6021fb4823b69d89a676ab1014355ccf4e7ad","datavalue":{"value":{"amount":"+0.9063902","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":"Q3210906$26112315-33BF-49EB-BE6C-841A015FA40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1885d9a5f3adcb66ecdb10dcd8a18eda345d5cbb","datavalue":{"value":{"amount":"+0.9035264","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":"Q3210906$2776DF0D-921A-4722-A805-D7D7652EB5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50063e6517d9389986171a05dcb74e95bc73c7d0","datavalue":{"value":{"entity-type":"item","numeric-id":5476233,"id":"Q5476233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd7088ee550397eeae0ac10c1acedb5eff137a8","datavalue":{"value":{"amount":"+0.9029168","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":"Q3210906$3F223594-F064-4CB4-892B-40604088CC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0bdcc9994a26c010338c2844221207b4e3fa25","datavalue":{"value":{"entity-type":"item","numeric-id":1935866,"id":"Q1935866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5862a2e0b3a59d8839db171f9b1b813194e1aec","datavalue":{"value":{"amount":"+0.9002069","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":"Q3210906$7E556BAC-17BE-45C9-B1DB-AB596CE1C98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0275d8299033c9f99fabb4193ffab91462b27ae9","datavalue":{"value":{"entity-type":"item","numeric-id":4255506,"id":"Q4255506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ddc88765d31f51250fd5e5952ab898f9df5cf5","datavalue":{"value":{"amount":"+0.899873","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":"Q3210906$090F256B-BCE8-48E4-8FD6-C36A172C79D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3210906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3210906"}}}}}