{"entities":{"Q2011652":{"pageid":2022394,"ns":120,"title":"Item:Q2011652","lastrevid":52872200,"modified":"2026-01-23T16:51:09Z","type":"item","id":"Q2011652","labels":{"en":{"language":"en","value":"Koepke machines and satisfiability for infinitary propositional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6756761"}},"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":"Q2011652$A5760CC0-4B3E-4F10-8B6A-EFE36D5B75AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cf58e222af6d5b9a0c4787c92f03e306596b585","datavalue":{"value":{"text":"Koepke machines and satisfiability for infinitary propositional languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2011652$67AC5A96-17B3-48B3-B979-BFEC31A45B8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e2601877ecbf532eea090686259568b29e8cca6","datavalue":{"value":"1436.03218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011652$120F8482-2DCE-4596-958D-1C0DF3510C50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84e0ecb5c4499dd9e0d6fa13f0e5ffca30490898","datavalue":{"value":"10.1007/978-3-319-58741-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011652$87462C28-7A7E-4415-9CAD-6EB7D622ED6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$585782EC-0168-43F5-9CCC-4EA78EC217B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$C38939E7-60EF-4583-8806-E152473A1DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1ac78888996e3a1626ceb2939329126773ec180","datavalue":{"value":{"entity-type":"item","numeric-id":2011651,"id":"Q2011651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$C574E1A9-02F5-4353-A62B-0DAB8F10E0AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"727c42383df97611bcf127d7abf9a5bc6c620eae","datavalue":{"value":{"time":"+2017-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2011652$A219A8B8-8946-4EC1-93FC-391DEE04AFB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8f586a8241341f9c1fc73cd03ee78b168fe3a54","datavalue":{"value":"http://dspace.library.uu.nl/handle/1874/358640","type":"string"},"datatype":"url"},"type":"statement","id":"Q2011652$EEE48AE5-9C7E-4AAF-9B90-D7C8E2B65A16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011652$524BFA2A-126C-43B9-879D-E1824C469C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011652$DED3E15F-46C9-410E-AC3D-8FB1A865796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011652$38FD04CC-0BE9-4F71-B3F1-BA73075803C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c313a73b9b54da8311230d9c25e6ee131c5fb185","datavalue":{"value":"6756761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011652$DDDA6109-9DDC-4014-A74A-FE39D273596C","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":"Q2011652$02367E8A-E61A-4E5B-B5C7-E3BFFAEBC32B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbaa52c8078928d6da57cd160434d21392b44dd2","datavalue":{"value":"W2612962042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011652$C8D5B1E6-CEE1-4E7B-9D8F-313AFF3D5CBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0abc07312fa3633ddf7180fc1edced7355e759e","datavalue":{"value":{"entity-type":"item","numeric-id":4593494,"id":"Q4593494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$8DFF303C-7FB4-4BC8-97EE-5FE1A650AEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f804b9a67f657cf94f866d926b5baff3c0de6130","datavalue":{"value":{"entity-type":"item","numeric-id":3374094,"id":"Q3374094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$240770D6-EFBA-44B2-A901-01502F0D70BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b130d57ab2ae2dd7c506a60e145c54cba9f2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$968C3E7B-E4BC-4D9A-89AE-2557D8FC5F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3753fea2f005391938490254bfd805668fe14cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4434508,"id":"Q4434508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$898EF812-BDDB-45D2-8919-7C1377DEA399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7eb15f423faa36d0569ab8291b56f8dd2293e6","datavalue":{"value":{"entity-type":"item","numeric-id":4805123,"id":"Q4805123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$0B3B2531-638E-4B15-9697-E3D3B7800763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$C9C40DDE-747D-4B86-923D-58CFC145E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c546f6f70e37faa7e0891fa88752a7c230a2d2f","datavalue":{"value":{"entity-type":"item","numeric-id":3370613,"id":"Q3370613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$AEFF02C5-3065-4B08-98C8-4F703844618C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1bd7aaf293515cf2d2c3c5bddbd1823d140cbf","datavalue":{"value":{"entity-type":"item","numeric-id":3576060,"id":"Q3576060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$4D0BF328-19E7-4FBC-920A-739837504438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa551e3e349b20e4092ff082ad75f2b46098da0","datavalue":{"value":{"entity-type":"item","numeric-id":1032634,"id":"Q1032634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$9F4E5B06-18B7-4C0B-9265-7A7F2FEA5DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c32923073fc07e4329268d176dd3b6be6b71c0","datavalue":{"value":{"entity-type":"item","numeric-id":5898830,"id":"Q5898830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$0935395F-D1D5-4F21-BDE2-CD32A0E5BFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b96581bf44548fbf3086284830bb55073e99c9","datavalue":{"value":{"entity-type":"item","numeric-id":2453073,"id":"Q2453073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$D12837E5-252B-4C46-96BA-654337EADB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69258ea1fa41abe076500c287e2b4d366a14557","datavalue":{"value":{"entity-type":"item","numeric-id":1408507,"id":"Q1408507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$21834D6F-18CF-400D-A623-D4E9DC1DC2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19920064ef947fc61de62904090b66d96250b47","datavalue":{"value":{"entity-type":"item","numeric-id":3644798,"id":"Q3644798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011652$B2F76FE4-4045-42F8-BB1A-3653E4160A10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8788b4de8a6e9ae70df3c193456dfa599e47d4","datavalue":{"value":{"entity-type":"item","numeric-id":1670730,"id":"Q1670730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8551a42a1ffcfbdb8199c05cccac4ce5e3d68e7a","datavalue":{"value":{"amount":"+0.8130154013633728","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":"Q2011652$E8E23E67-E33F-43E1-B432-54C2A15FF3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650bd944b98d8745784c88b4d96c0dbc9ccdd17a","datavalue":{"value":{"entity-type":"item","numeric-id":3374094,"id":"Q3374094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0b0affb7f99136804a6983608b12cb17b02287","datavalue":{"value":{"amount":"+0.7529927492141724","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":"Q2011652$F683121C-07CF-406A-BCEE-6F60356688F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a19705fa5e6acb8973416247a92bb868334c5df","datavalue":{"value":{"entity-type":"item","numeric-id":1408507,"id":"Q1408507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e756966e8d73657e6cd93a97796b281e1bc607a9","datavalue":{"value":{"amount":"+0.727678656578064","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":"Q2011652$797F1950-3C42-4EF4-B4C3-C8CBB2AD701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e141f08d500c191a83f15ec3a2bedc9da49d7f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a77802e742e302f4bb5c2a445ffb1f5f484e25f","datavalue":{"value":{"amount":"+0.7175787687301636","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":"Q2011652$918A4C13-5FB8-49CB-AE85-B07BE5EFD1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddfc75f5fc7e06f7d03193a2884493995fea06f","datavalue":{"value":{"entity-type":"item","numeric-id":5498869,"id":"Q5498869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf83f2b9fe61463d5cc35de25d31d68592317b90","datavalue":{"value":{"amount":"+0.7168177366256714","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":"Q2011652$B9BE17B0-4019-4262-A495-1453DF7C104D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2011652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2011652"}}}}}