{"entities":{"Q3498489":{"pageid":5528392,"ns":120,"title":"Item:Q3498489","lastrevid":80580191,"modified":"2026-05-06T16:31:36Z","type":"item","id":"Q3498489","labels":{"en":{"language":"en","value":"Completeness for Flat Modal Fixpoint Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275864"}},"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":"Q3498489$5CA00014-9686-483C-BCC6-B6366362585D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"356a280b88a51c1414792facc1a015e69b07d954","datavalue":{"value":{"text":"Completeness for Flat Modal Fixpoint Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498489$4B5614E8-1831-4A2E-BDB5-6CE706E53DC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2c2e6fabeb9bfa501bd1e2c661009903877e915","datavalue":{"value":"1137.03317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498489$0CD63179-5CB4-4E87-A066-18F65F18C770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"030c06c4c5e0125cd96768abd00248d851d3ad1c","datavalue":{"value":"10.1007/978-3-540-75560-9_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498489$35DFB667-41E4-45CB-B498-EF7B12D65AA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498489$00842490-C8AF-4B4F-97DA-DB98DD4C16EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498489$C79CEF4E-48D6-4DBD-945A-23CC8C292B89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498489$DB229AA9-14B7-4BDE-B45A-F278B43B6982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498489$B4694A2A-5E90-4874-852F-D85843E4898B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498489$F1C726EF-D720-475D-8E2C-E806115F641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498489$AFF29AA9-1F6B-46B4-BE0E-1A12C7432E6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bfa305c350784cb4b9deacaf33ba35b7f1964c0","datavalue":{"value":"5275864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498489$E60A0372-B744-4590-830D-CD5DBD7BE636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3498489$25F58AF2-DDE0-492E-82B6-122FE40498E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3498489$D43F259A-C292-4960-9708-F86EA63EAA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3498489$C4F6FB54-184A-4DF4-B6F4-96B05316970D","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":"Q3498489$8B067172-079F-4BB9-A6D3-D419641649CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbd9bafb0540f3278ec640eea5a5acbfa80d0f84","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498489$215FB00C-40E1-4E96-912D-E68F33E3A5CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77d65d2f1e4bc9590a7841d3dd70a72bb9b13b95","datavalue":{"value":"W2107694278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498489$9DEE2E97-00FF-4EEA-810E-C7CAF7DD9A98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd503dd4bacafa57c2df3e5aceeafad30c0f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b85ff6622e8a66307c35a734e7226dd68d5d65d","datavalue":{"value":{"amount":"+0.9473534822463988","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":"Q3498489$50C51F39-6AD4-4090-B01A-2BFF48998515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a060b6031c52bfa80995dcf319b03c253627863","datavalue":{"value":{"entity-type":"item","numeric-id":4612435,"id":"Q4612435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76486bd9e8c5167794ee4d6231fc9924c7a7e399","datavalue":{"value":{"amount":"+0.8101064562797546","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":"Q3498489$11826308-A154-49D4-8AAC-5BCEE047731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362b9591f28eee0ce575b9ef18de11da5f1943ae","datavalue":{"value":{"entity-type":"item","numeric-id":418010,"id":"Q418010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c14633e938daecea53d6d9fda4d9a69c556435a","datavalue":{"value":{"amount":"+0.7790618538856506","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":"Q3498489$D0D8D732-D5D0-4BB9-B4A1-F2F659F13D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639014657a8a9435368d5e7173cbc65e2191d3bc","datavalue":{"value":{"amount":"+0.7687292098999023","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":"Q3498489$F8E718FD-2378-4B8B-92C2-06185B42FDEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness for Flat Modal Fixpoint Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_for_Flat_Modal_Fixpoint_Logics"}}}}}