{"entities":{"Q3406322":{"pageid":3417025,"ns":120,"title":"Item:Q3406322","lastrevid":50903564,"modified":"2026-01-15T16:44:36Z","type":"item","id":"Q3406322","labels":{"en":{"language":"en","value":"Intuitionistic linear-time \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5669603"}},"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":"Q3406322$442B1E1B-1B0A-4A88-A647-96EA02DDC765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58283d7febbddfe8f8a96017a4c5740240697cd2","datavalue":{"value":"1199.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406322$F64E377B-0451-4A29-9E30-C299CEC8163D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b9a1d3f4c84118541a598fb909eda5a9129d65d","datavalue":{"value":"10.3724/SP.J.J.1001.2008.03122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406322$8447D5B0-2025-4422-ACDA-2A151F74775B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b01e76a06149ca620896e9c0d4be24e1e8890fef","datavalue":{"value":{"entity-type":"item","numeric-id":3406321,"id":"Q3406321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406322$14900896-8393-4D38-8C11-735559944127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406322$6C2BC95D-0AF3-4575-8D50-027ED72301F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f701a5fb7efb18b2a5b2faa4325ff6ec6c98bb41","datavalue":{"value":{"time":"+2010-02-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":"Q3406322$BE0EEF81-4BB6-4F44-8DA1-8BCFF9292507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406322$90C2CC83-C861-458E-8EAB-A06F8AEADBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406322$4D12E9FC-0BA7-4308-AC71-4B7B71FB6D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406322$153C18C8-0D0B-477B-A602-BC0A3FCB8B01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0266b0a379933ca9292b71c1275632e6d482d89e","datavalue":{"value":"5669603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406322$9E0E0559-6953-423A-9932-2C43C1AB32FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceda7008fe09fdf28806f1d5cdbb9e84182a0456","datavalue":{"value":"propositional linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406322$108A149C-F3DD-4344-B62F-7D2A9AAA63B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406322$8F02C02F-611D-46DA-BC64-BDE275800687","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":"Q3406322$6C0E135E-C2D8-4FD8-A56B-A5ECFB3DE80C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a564cc5b7ef6d2791ce03f87f3cb8acc8c16d6","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de87b480a091217dc1dcd4ee43629c4849e2cf35","datavalue":{"value":{"amount":"+0.8298444747924805","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":"Q3406322$A16B9D7C-905D-4966-B0E7-9F49700D727A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf72d58509c230418463766bdad80745a14d5fd6","datavalue":{"value":{"amount":"+0.8105770349502563","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":"Q3406322$1CF7C970-CFFC-4E9E-82A0-E10AF0A7FF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6def29c8473e82c891650ee23e5458d6b36c19c7","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6d90f8df3f81dca112c5da7694c0b30380860e","datavalue":{"value":{"amount":"+0.7779355049133301","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":"Q3406322$F75A7270-857F-48DF-96D5-2A698219B4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9343c5e86478d523591ea690c01d4699f4828b4c","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9be7106b259b1c88e0475637cd43bd49a23178","datavalue":{"value":{"amount":"+0.7682192325592041","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":"Q3406322$642E603C-84D4-4A1D-992A-4BEF3D22F932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a05e11d3b2c6d00216459db51b4ecdaa5357f9f","datavalue":{"value":{"amount":"+0.7579392194747925","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":"Q3406322$1FD0B17C-E4FA-4497-B918-D58D242748C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406322"}}}}}