{"entities":{"Q3085177":{"pageid":3095892,"ns":120,"title":"Item:Q3085177","lastrevid":51218171,"modified":"2026-01-17T07:23:31Z","type":"item","id":"Q3085177","labels":{"en":{"language":"en","value":"A decision procedure for alternation-free modal \\(\\mu\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872419"}},"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":"Q3085177$FCABDEBF-F0F0-4418-AB5C-062A48E81502","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bc1a2ecae26f74c03f6d52c07e3e5f018e5ec43","datavalue":{"value":"1244.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085177$398D357E-5FD7-414E-A805-EDF5122FBEA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd6b8fe5aa5af0c88c7f02b23a4997a56b7052b","datavalue":{"value":{"entity-type":"item","numeric-id":3085176,"id":"Q3085176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085177$3C626F8B-1EEC-4CC0-96DC-3831CADD06F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cd0ddcf13d09b749222009956051bbeff81e744","datavalue":{"value":{"entity-type":"item","numeric-id":2335294,"id":"Q2335294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085177$78DF8CC8-386F-4D06-B55C-BAF0E2985C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085177$9691C9A7-7AC4-48FC-BC4E-455C8C3921D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3085177$4BA64725-56FB-46B6-9CCA-9D4260E8D576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085177$C4DF8E05-F76A-4C3E-8B10-7BA1385B76DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085177$1866260C-680E-41F2-A544-98C03B062A86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74ebea4ed10666e50b2ed47195f73634ac4a7248","datavalue":{"value":"5872419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085177$F8525402-751E-488E-91D8-45D29FE7B900","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085177$029AB3FF-0FDD-4FC6-BD5D-57DC4B874748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085177$39A93062-CA01-46BD-9AE2-0848A7C204CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085177$BD4B9BC9-3097-4C87-BE0B-D68DE5E36EFE","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":"Q3085177$76A12FE6-1565-4A83-A11E-CAAA518E3DB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125def8d4eb97a4bcf3abc8f8d918972d7e1087","datavalue":{"value":{"entity-type":"item","numeric-id":5479283,"id":"Q5479283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83160bf72231f13a9bc0b251ad9835278d4c7f9","datavalue":{"value":{"amount":"+0.8788778781890869","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":"Q3085177$DF60500F-582C-4361-AF04-D4170ABE03FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a885c02966a4d13a0476bf42724e27759cff3475","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4ee6695873845dd13fec2a7e4f2eddd62c9fd8","datavalue":{"value":{"amount":"+0.819922924041748","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":"Q3085177$8D7535AD-E01F-4817-B475-992C4F80433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b845fb212eaa7dd2b0ec4e148e5d250cd9fe54","datavalue":{"value":{"amount":"+0.792549192905426","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":"Q3085177$A55CB811-660D-4685-8E2B-790A9C32E068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739afdc4ea1583021390a64f26087ca243b58cf3","datavalue":{"value":{"amount":"+0.7919633984565735","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":"Q3085177$39D52EB8-6218-4E83-BC29-568DBAD9CC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50d5aaf4676997503bb3b703e78ba39d2df4e17","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af2d05cd0ad22ae5017a2506172791dceaef5d0","datavalue":{"value":{"amount":"+0.7851949334144592","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":"Q3085177$EFF5B31C-0F9F-4093-83A8-D25590D730F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3085177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3085177"}}}}}