{"entities":{"Q1706163":{"pageid":1716904,"ns":120,"title":"Item:Q1706163","lastrevid":73361160,"modified":"2026-04-14T15:35:34Z","type":"item","id":"Q1706163","labels":{"en":{"language":"en","value":"First-order \\(\\mu\\)-calculus over generic transition systems and applications to the situation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851695"}},"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":"Q1706163$140606F5-8893-4364-80C0-E578F61F8F46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1bd611c7fd1fa555f8ab451b98d6ebed24c07c6","datavalue":{"value":{"text":"First-order \\(\\mu\\)-calculus over generic transition systems and applications to the situation calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1706163$64DA97CE-F6C8-43A7-9D51-2FC66BFA6F4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7543e5edd1390362aa48f5bb437d1a3598221165","datavalue":{"value":"1390.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706163$7C2DB524-6E0E-4BA7-B1E0-D553A6391EC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68917332de83c1094eea5c37873949ca8bca3c10","datavalue":{"value":{"entity-type":"item","numeric-id":309908,"id":"Q309908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$FE985F90-027D-452D-8D4E-BA09F8D69FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2099869b514aeb1a2ed840658681e19bf61d79e","datavalue":{"value":{"entity-type":"item","numeric-id":286404,"id":"Q286404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$3495B401-C1B9-4830-8979-6BB8E1546C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2438f2b6b194cb9371720fd634318f5f271f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":315289,"id":"Q315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$26AD569A-486D-4197-B22E-C4D5BB13E4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf67677eaff4672f3b9bae8634af9869b984df6","datavalue":{"value":{"entity-type":"item","numeric-id":286406,"id":"Q286406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$1BE50022-49D9-47A3-A9A6-200B515CA413","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$C9095BB0-6DC4-446E-99A9-E19C147DB802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1706163$722596AC-DCF4-4B94-B0F5-50B6E89C378B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706163$2A2F1F53-C9A2-4701-87AF-EC8F86522D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706163$93428104-429C-4A0D-849D-C40DE145BD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706163$284DC65A-E458-42EA-8711-F66DAC9D124D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ae28371c184bcdd06de93e155c2a53ee046bbba","datavalue":{"value":"6851695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706163$EAEDF600-66FE-4830-897D-922258FCFC60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706163$4AD9FD20-9B1F-4398-A1F6-D093F6051DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706163$E687A496-5EFA-4E38-AA6A-737FCAB0C11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706163$B1AB38A4-361D-40F0-894B-A8B0DD35848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b253b3e6503e01b372f0bffba0581514e1e56af0","datavalue":{"value":"first-order \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706163$8F0B7959-5A5F-4E66-A83B-F0EA9FF8635D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ff2fa969a7da0ab433f790e0e6b31e39bbcf70","datavalue":{"value":"infinite transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706163$323F1C56-F556-4F08-930A-18AA6FEDC45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e11fd39b0f0944809f91e91775631ce749914d27","datavalue":{"value":"state-bounded transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706163$135CB9D3-88FF-4508-B424-44E359F76DCF","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":"Q1706163$0D9335BC-1EC4-48E9-8D44-5779428E176C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"659b54b278487f869cc95a7b92f803176af489f3","datavalue":{"value":"https://doi.org/10.1016/j.ic.2017.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1706163$B055D786-F18F-4BD8-8610-0F7547CC042F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a740bfa550735a5173c81cc4e453705649cdd39","datavalue":{"value":"W2791668009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706163$45F4983C-E9C3-4D3F-8327-844376F5A813","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$3F1BE03B-D5A2-4F5D-B5C9-04940E5F2301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cdae4996301c693db2855b30984eba101afb58","datavalue":{"value":{"entity-type":"item","numeric-id":4917617,"id":"Q4917617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$21D5920C-ECA7-4205-BA39-7E981B2FCE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$155D3DBA-1BFC-47F8-95A0-530998BF671C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22378a7127aa087e70353b482e052acd1cbc256","datavalue":{"value":{"entity-type":"item","numeric-id":2925412,"id":"Q2925412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$E44F2338-E8EF-4654-B952-F7943B7D2719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$FBA7901C-54FB-42BB-899E-14A56EDF96AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2b7b31f3a9c42f1501cce317e61bb6396b941d","datavalue":{"value":{"entity-type":"item","numeric-id":286407,"id":"Q286407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$371CF130-5ABC-429B-85CE-252EF079E64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d1ab0f665f6cbb5e34d016019f91a1bcbdcef0","datavalue":{"value":{"entity-type":"item","numeric-id":5282994,"id":"Q5282994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$487ACAFD-8C83-493C-B9A1-B117A889558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$3F4ECF26-BFD1-4950-AEF2-766487F1E35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$4E59365E-E30A-4339-A4A4-137BBE0E63A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$D0B6DD34-AD28-4ECE-B81F-D3F73BD87059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$BE5C4F09-8230-4BE6-A30A-8DD380030DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fad1e5a72d8fd7b36ff70b664c481b2c9da270","datavalue":{"value":{"entity-type":"item","numeric-id":315291,"id":"Q315291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$83E9B8E2-E472-4A0C-A0AB-AD671BB1B08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c6f1cca3c5d2e3c67e2112f495dab24ed3574a","datavalue":{"value":{"entity-type":"item","numeric-id":2938514,"id":"Q2938514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$8EB9A86F-3A3D-4807-84B9-2779B6AC64B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$96B7B7E2-E31E-459E-A966-31AA2BA2C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$09900FFD-BE8F-4B96-B140-9C39B9F911AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$777B4EEC-A797-4F4B-A6FF-D54E104324AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$8ED96138-281C-46B7-BF16-A30FC560120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da940a0521c78fb0bf3ea337aa14e1461288642a","datavalue":{"value":{"entity-type":"item","numeric-id":5283053,"id":"Q5283053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706163$F7BBD66C-1AA3-4513-B9A5-7571707DCD5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b2eefc2484f9fa3f4b281c3972ab2b8d408bdfa","datavalue":{"value":"10.1016/J.IC.2017.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706163$AC6B1EA3-C229-49CB-89F9-5348D808C55F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138d3139f4cc5aa61b1802a68a1a6b5c684e9706","datavalue":{"value":{"entity-type":"item","numeric-id":606994,"id":"Q606994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c762a3dc155e14c02c220d95f325cd9b0ba538f4","datavalue":{"value":{"amount":"+0.748384416103363","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":"Q1706163$52B10136-A07C-475F-936E-A5B65FBC8D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20f3f9ef54f0151169dfa81299c3477b9d6b249","datavalue":{"value":{"entity-type":"item","numeric-id":286407,"id":"Q286407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4bc2cd16e79399882f9074a733a903cba26c71","datavalue":{"value":{"amount":"+0.7457306981086731","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":"Q1706163$0CC96FCF-EBEA-4075-8A61-BAF6AF54925B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38915fb500db36fae49e5497c978f021914bd8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3520232,"id":"Q3520232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0418767a438f84a85289b8100621d3d4d5cd810","datavalue":{"value":{"amount":"+0.7400714755058289","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":"Q1706163$D7497994-1AA4-4380-B382-E55A7DBDEF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df06a63b3e6d5dfffafddfc579002b9a3794e190","datavalue":{"value":{"amount":"+0.7377062439918518","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":"Q1706163$0263BDB8-C680-40EB-9D50-1E15D49D32B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc0c3f3a562861af564f9d025187852fee41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0823e5d64fd5b92491f5625c8039b68c4da01124","datavalue":{"value":{"amount":"+0.7340204119682312","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":"Q1706163$1DF1C925-9AE8-4C39-9F00-5A9D38D05A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order \\(\\mu\\)-calculus over generic transition systems and applications to the situation calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_%5C(%5Cmu%5C)-calculus_over_generic_transition_systems_and_applications_to_the_situation_calculus"}}}}}