{"entities":{"Q5277764":{"pageid":7307339,"ns":120,"title":"Item:Q5277764","lastrevid":52850486,"modified":"2026-01-23T15:42:28Z","type":"item","id":"Q5277764","labels":{"en":{"language":"en","value":"Splitting an operator: algebraic modularity results for logics with fixpoint semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744007"}},"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":"Q5277764$67076E64-2943-4332-8830-086C145C0509","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"990eeced87fcfbdd0d22bc251cbd1f4f4d8b7fb1","datavalue":{"value":{"text":"Splitting an operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277764$581B61F7-326A-4565-93D6-DD44DE221C36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6197d196a0f660b77babf28262d354a192ab6adf","datavalue":{"value":"1367.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277764$6EDE6498-948E-493A-B3FA-47A90F313260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dce43d83169d6da042625bc331c101a6cb253d86","datavalue":{"value":"10.1145/1183278.1183284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277764$BCBF707F-58C2-4BB8-B54E-BCEFEA7BD606","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2039c50f4bf7e2e0e187db2c049c2d046081e96","datavalue":{"value":{"entity-type":"item","numeric-id":313141,"id":"Q313141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277764$8AF2F660-180A-40D0-A10A-915DB0D6BCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56dc1d80c08a4df6a626de00f7cd9ff863a82185","datavalue":{"value":{"entity-type":"item","numeric-id":5277763,"id":"Q5277763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277764$CC9365A9-A9BA-482D-BAC4-4C4CAF660C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277764$302F36D3-53D7-463C-8F12-167855A9DB2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277764$4A6EBE04-E1BC-48A7-919D-461338C1CD62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277764$4DB1B5B3-E7F2-4BA2-9894-2F87E640B47E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277764$53B989CF-8EC7-462B-B027-5A0DAE1CD3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277764$1187E47E-9255-41B9-B5EE-E15B82C007C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dd6cdd2e608938aba1374e42a5eef8d439126b7","datavalue":{"value":"6744007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277764$43B08CBF-CF4F-446C-8EAD-B5CACF203783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277764$F96D77BF-C61D-483E-AF31-E9D1EE701B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21837c03e459106d6b08bd4f7e5a2d443ab7cee","datavalue":{"value":"auto-epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277764$0E2987A1-1972-4E92-AF7D-4C43ACB02C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277764$FE2C5FDA-DFDE-49A6-8131-1CEE5B06EE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277764$E14027C7-EFC8-4A0C-B3F3-D5F43452D875","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":"Q5277764$D2633DC1-2166-4442-B1E0-CA591E29E340","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15cc6c60e904d4f171e7ac2c8aed1245aa08c2f6","datavalue":{"value":"https://doi.org/10.1145/1183278.1183284","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277764$2E2D4C62-634D-453E-9A64-7AD7A7CFFB72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb752ea32af20e1a74ffe4f195951844804e15b","datavalue":{"value":"W2080633262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277764$14DE48AA-0E70-47EA-8ADB-20D16123F886","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3045b9887bc954a7d959067d9de896ab7fabaff2","datavalue":{"value":{"entity-type":"item","numeric-id":5313184,"id":"Q5313184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9296f6ae324da4ad64cb4e541446f66633d45a","datavalue":{"value":{"amount":"+0.9733591079711914","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":"Q5277764$101EF836-0747-4425-8EE1-70CC6079C99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd3fe76c3a2274dc9f4860f46ebd3002aa0f6ac","datavalue":{"value":{"entity-type":"item","numeric-id":5277772,"id":"Q5277772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a669a21f3bbd9b6df1ca5199cdcfba70e1db821","datavalue":{"value":{"amount":"+0.8250585794448853","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":"Q5277764$9B069C21-5EB2-490E-8594-54F20E5631D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873729827c65d3029a90b22de03e42b7bee6bf06","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cd5605b8daf5bc7e40466142f43997076bb77f","datavalue":{"value":{"amount":"+0.7930278778076172","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":"Q5277764$07EFCD9F-A6B3-44C5-AA32-3C20077C31A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677b2ebe7b295a9e797800e62b6cbb26f45f68d4","datavalue":{"value":{"entity-type":"item","numeric-id":809064,"id":"Q809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2509ead116fbee2c5e70f272f9297436e53f4b","datavalue":{"value":{"amount":"+0.7764622569084167","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":"Q5277764$741B5FF8-2E13-4DCE-ABA7-E4B482C77107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6a77d368d267023de2ce946f794b04821b3223","datavalue":{"value":{"entity-type":"item","numeric-id":2900518,"id":"Q2900518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404a4707c380cc77dc49d27a1efa4317d0958b0e","datavalue":{"value":{"amount":"+0.7609076499938965","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":"Q5277764$7EC73395-230D-4423-90E3-F33CE1CED77D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277764"}}}}}