{"entities":{"Q2369014":{"pageid":2379757,"ns":120,"title":"Item:Q2369014","lastrevid":49821769,"modified":"2026-01-11T01:42:03Z","type":"item","id":"Q2369014","labels":{"en":{"language":"en","value":"Quantifier-free logic for nondeterministic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020413"}},"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":"Q2369014$9BADB330-5A2C-4405-8B23-CB574E4510D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc468cb6c835c62fa7b74c20eb970bb584be40fd","datavalue":{"value":{"text":"Quantifier-free logic for nondeterministic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369014$EA82EE36-DAA4-4D09-A5F9-293B46655D87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4e846640d080040f73658b6107c1317ed8921f6","datavalue":{"value":"1088.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369014$7A0AD654-E011-4E1D-B17D-EFC49FE21074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1778038bf09d3c63e6aa1b5c3da1793d1e91b5d","datavalue":{"value":{"entity-type":"item","numeric-id":444493,"id":"Q444493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$A837071C-8E0A-4A42-B575-413E443BB8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d31d3a65e1ea7b3974ebed5a725f6c3a86eb35","datavalue":{"value":{"entity-type":"item","numeric-id":409315,"id":"Q409315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$8FA5D6DC-63AA-45BD-A6D7-5D6426A6B3B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$4CAB98B9-C713-4AFB-903E-48F0AF302810","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369014$7CD665D4-D2A7-4305-A07D-24C692B43EE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369014$AFA31DE2-CC72-42A2-9614-7132138EBFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369014$F87EBDAD-BEE3-49DB-8537-7DB4D26036BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d08c055eaa73a6b72c8d874d28ed1e4e42ebff3f","datavalue":{"value":"5020413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369014$BC352050-6BD8-404F-82F1-25EF299259B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8412d336465617a5905fa9ba94f654ee90082234","datavalue":{"value":"Multialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369014$0D26954E-91DE-4B2A-BB73-922A4AAC2161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf31d72c83a4307be13cbc120b339dba1a990989","datavalue":{"value":"Algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369014$B557B399-DB14-40A8-9524-F62DE0FF8857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7809efefa990f9eaecbd510547eb6bdd5256ccb3","datavalue":{"value":"Nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369014$39C97955-1ECE-41ED-B3E0-ABCB7970020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0856dcb743ce422e9e4daaac1f129dde0e4962a","datavalue":{"value":"Rasiowa-Sikorski technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369014$BC6AEC73-4041-4716-B3F4-03ED2D32A3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"611ad7d023dc0b45a07e0e0216eacfc5e191efac","datavalue":{"value":"Strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369014$342EF228-F00C-402A-BEB4-468201FFBE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f780199e4ad645a1e27ed38df8934fb69e7f6a","datavalue":{"value":"Specific cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369014$0A2AAA57-1EA7-4927-B2E9-69D029165D7E","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":"Q2369014$C4F434E1-A46B-4DE2-8029-A8DE7009C7C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f309da45af9a7777817b80d506169f0726aa77b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369014$94F240D6-AAA3-4B31-899B-E273A5E8740B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"357efb996e4f89a2166ba162593e4864564a87f1","datavalue":{"value":"W2046478788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369014$DA1B43EE-EB93-4F34-85FB-320DBBEA8C2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bea716ff8cefffd377480d332b025a1cf9422da","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$2C994681-797F-4453-9A5C-699DF760AFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccbf1741775ab07628b2f40037c997de78c7547","datavalue":{"value":{"entity-type":"item","numeric-id":1806174,"id":"Q1806174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$292A3CAB-8AEB-4B95-9C08-FAF5ABF5AFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$2DECDCDB-387E-48BE-99E9-D0247D1414DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8fa2cd08b4efee1a1b8c012d300ee2fa454871","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$7E5D2779-4105-438B-959A-D1286D92F094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87177517a8ed3fc58081949e1cc58a70410b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4941933,"id":"Q4941933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$78BA6E04-F283-4E4F-976E-93D525FDC960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a194178070cd3c5ad9a396baf8f7db21f82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1853457,"id":"Q1853457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$6D9B3991-5658-4632-BF84-68C1EE8F7E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9de0cb26c419e3d3fba0533cecade3ec5f30f0","datavalue":{"value":{"entity-type":"item","numeric-id":2557245,"id":"Q2557245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$9BABB0A3-DD46-4820-B7A5-C7A70D57B4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369014$8B4A47CF-8151-4329-8688-9B2FD4442928","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26568cc1a188d45506150889cba9e0ed4f59aaef","datavalue":{"value":"10.1016/J.TCS.2006.01.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369014$84EBD63C-594B-4BB5-85B8-A0C556FFBB4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d7850047c89a04d964687f56f362c57420bc0c","datavalue":{"value":{"entity-type":"item","numeric-id":4924535,"id":"Q4924535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f23a2b118ebc7827c8d357e37de590700e40e27","datavalue":{"value":{"amount":"+0.9680508375167848","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":"Q2369014$218F03FB-D90F-494A-93AE-9861C1EB07BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776f3f5df5bd13b90f8361457781f76bfbbb6db6","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7d11ea620795275dd6d5a03a131c10294b57ae","datavalue":{"value":{"amount":"+0.8510785698890686","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":"Q2369014$00B47285-68CA-4174-A8F5-82F990330792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee83596e6d287c55f5dc7750ba7b99e834e06b73","datavalue":{"value":{"entity-type":"item","numeric-id":1806174,"id":"Q1806174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7edf019e1f5f41c21037661f087ae7f24b6035","datavalue":{"value":{"amount":"+0.8156775236129761","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":"Q2369014$70D67955-BFC6-4281-87E6-0AA65A760522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cda0b07452a080b77c69e7e558d5aa9101199b","datavalue":{"value":{"entity-type":"item","numeric-id":5900830,"id":"Q5900830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7edf019e1f5f41c21037661f087ae7f24b6035","datavalue":{"value":{"amount":"+0.8156775236129761","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":"Q2369014$96131D3A-4E9F-47F5-B84A-75EB6E241D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688038a2c1f98a7d779a99e6c520d4eca88d357f","datavalue":{"value":{"amount":"+0.7669448852539062","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":"Q2369014$1D7BC529-B4B6-4AAC-BAE9-BEF596827776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2369014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2369014"}}}}}