{"entities":{"Q4434612":{"pageid":6464211,"ns":120,"title":"Item:Q4434612","lastrevid":48196582,"modified":"2026-01-03T22:32:55Z","type":"item","id":"Q4434612","labels":{"en":{"language":"en","value":"Fixed-point Logics with Nondeterministic Choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2002253"}},"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":"Q4434612$B67F5C75-7610-41D5-A8FC-E9D9FE4F0805","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9bceabcef6ba7759546d79ed6ffb7f3d24510db","datavalue":{"value":{"text":"Fixed-point Logics with Nondeterministic Choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4434612$2E966620-3C4E-41AA-B5B1-DE130C34E170","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c065cacd71887da4f7b137d05f2d9a873ccde08","datavalue":{"value":"1045.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$7BF79E80-2670-47AF-BFD7-C8558EEF82C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434612$A9B6E1C1-33F2-4D74-971C-5E008B28CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d8dbf8a422ba241ba30385e9f7364511ba076a8","datavalue":{"value":{"entity-type":"item","numeric-id":313798,"id":"Q313798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434612$B8F5EAE3-AC50-4306-8AD6-E3FE0830FF8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdcbbe6751005b5a25abaf14031c72afec06c29d","datavalue":{"value":{"time":"+2003-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4434612$B163496F-1A12-49E1-A79F-036179CB60FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$90271885-5021-40AE-BBE1-B90182298DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$69948EEE-56B4-435B-87C2-F7953354F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$DF15CFED-B521-4015-A9D4-25367CC26B17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af110403137008c9bcde69debc51489166835ef1","datavalue":{"value":"2002253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$AAFA3F1B-3394-4F7C-A387-066EAF02D5E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4f96ac462fef113c172f0400054717905f3a1fb","datavalue":{"value":"finite model-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434612$4B1E32F7-44A7-40B4-8F8C-60D918E00B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec2f1d0d1b9536c1ff00ac7b7eea364981f11a6","datavalue":{"value":"fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434612$F99EC9A0-A190-41FE-828B-3FD735313F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434612$F9FD7EE3-E996-4281-A6C0-6D10DE4A89A1","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":"Q4434612$AEF4C12D-B60B-45D3-ADF2-FB56E6FBF716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54c9ff2773d03e2a5f1b5893e0bcced357c1d18b","datavalue":{"value":"https://doi.org/10.1093/logcom/13.4.503","type":"string"},"datatype":"url"},"type":"statement","id":"Q4434612$6B82C26B-1A07-4D1F-8E3C-DB8118332D2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cf2dc3ea6db4184c2212130ccf9196d2e28caf5","datavalue":{"value":"W2063132466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$CE0F427B-D39B-4A93-8032-69B8BCC5C0B6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"86157a06435c8fa0f824c2e34e0cb3ef55afab0a","datavalue":{"value":"Q58215714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$7084E966-B8F7-43BB-99F1-B000E22161C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aaacbd972ce75049834446844f0782fc8f22c74","datavalue":{"value":"10.1093/LOGCOM/13.4.503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434612$74BF0909-CE25-46E2-9643-C4CBB0DFDF0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434612$D4417D86-5B9A-4281-BFA6-2D84276E6B7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f043aa4b709d982be9b014cbe0011a04268c5bbf","datavalue":{"value":{"amount":"+0.8464099168777466","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":"Q4434612$449322B1-E9E7-471E-BFA7-035EDB156CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d6410278be633130a6655a775685b6a89b45a","datavalue":{"value":{"entity-type":"item","numeric-id":3759934,"id":"Q3759934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47b4ad7523207035fa5bd2f4ea383ceb03eb58c","datavalue":{"value":{"amount":"+0.8074057102203369","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":"Q4434612$90430F12-023C-4CDC-B05B-7508D94FC2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876dcbaa028ac2e72b29f906824ae0e3b561896c","datavalue":{"value":{"entity-type":"item","numeric-id":1271477,"id":"Q1271477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf379146e7ffa15aea1a003cd7c6c2a1f202810","datavalue":{"value":{"amount":"+0.8052292466163635","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":"Q4434612$05519BF3-28E1-4E09-A5C6-F1FCEE44554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32081a0602eb3d0728030f97ddd6837ac9ab1f55","datavalue":{"value":{"entity-type":"item","numeric-id":5943120,"id":"Q5943120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065007b8a5b46ec23aa6970622518d0a69221879","datavalue":{"value":{"amount":"+0.8049436807632446","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":"Q4434612$ED4ACE93-4EAA-494A-9DB2-4F8D229A1BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f03fd0f5248b726946238c34b3dca2c0ad52361","datavalue":{"value":{"amount":"+0.7989873886108398","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":"Q4434612$4D8DC2C5-4E1E-4135-92D3-12570FEE2D29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4434612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4434612"}}}}}