{"entities":{"Q5079756":{"pageid":7109332,"ns":120,"title":"Item:Q5079756","lastrevid":55409863,"modified":"2026-02-17T15:49:03Z","type":"item","id":"Q5079756","labels":{"en":{"language":"en","value":"A decidable fragment of second order logic with applications to synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533356"}},"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":"Q5079756$48256105-A9CA-42ED-95DE-C8EE429F5367","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$BD64FF10-7B9A-42F1-B951-757DB278F892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3832a6f49368bc25104676db11d18b956393ba53","datavalue":{"value":{"entity-type":"item","numeric-id":2164213,"id":"Q2164213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$D69B0FFF-A9E4-4082-8343-89B279F600B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dea09d468230ac7ef2543a9211289760c3589b","datavalue":{"value":{"entity-type":"item","numeric-id":2208305,"id":"Q2208305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$7956FCEA-26F5-4276-8F16-DB9F3415A5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$68C699BE-21A6-466E-A80A-1B369ADB0AF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-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":"Q5079756$1EACA8C9-D700-49D9-B532-405FE81314E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3480e56b98fc41ad06aecc78b7141cd45831584b","datavalue":{"value":"https://arxiv.org/abs/1712.05513","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079756$F593EED2-D8A3-4ABD-82D4-CB376CE5111C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079756$89B71C8C-1F38-43C5-A437-9852E818DE2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa27e805fc595848082424871996884160db47b","datavalue":{"value":"7533356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079756$FF3FA6A5-60F4-4630-8904-B70E83BAA74C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079756$4960C7AD-B142-49EC-BEB6-4569A9314910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079756$72C8CE2E-4A8A-4D71-85F8-57D791D3F739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69a3fbd3ecc6cb90d0b5fdddef6f946616f21955","datavalue":{"value":"decidable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079756$D8FA1CF8-075F-46B8-BB2F-44BAACF08410","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$70EB59A7-FFDA-49A4-8AEE-BE171D814A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$16948BC7-9947-490B-B133-998CB3543830","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":"Q5079756$7F7E48B4-02F5-4D8A-8B79-319BE24687FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"560a6a1db9a7e7b49f18edf43deb5d7d8e5674b1","datavalue":{"value":{"entity-type":"item","numeric-id":4016552,"id":"Q4016552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$62A7E968-6992-4AA8-8552-487411E52484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8730aad758a09054f76517b3df96a535e2df3c98","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$FB81EF02-BC7A-4C79-80E2-183EB3876D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24956801039fd919454009aea6cf74b8bb853758","datavalue":{"value":{"entity-type":"item","numeric-id":5626273,"id":"Q5626273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$4F4E7F67-0D69-4929-A7B7-14E4F2252507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$4904BFE7-A7AF-4A14-A6E1-41DDBD35E9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d71c3b92ca55baa877bab542d89fc889c93f6f","datavalue":{"value":{"entity-type":"item","numeric-id":972432,"id":"Q972432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$A6737587-9D3B-4028-B338-3698FDEEAE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$C3F13E6D-42E0-45E9-B20E-C50A2A1EA66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$5975D5D0-DE83-4E10-B2FD-069A49EF6952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$B777C031-2602-4926-9D57-767AC675A727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c776bc5055e5d28228e5b413305037161eff67ad","datavalue":{"value":{"entity-type":"item","numeric-id":4916087,"id":"Q4916087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079756$74918F2E-703C-4587-BBDD-8F3DE16BDEA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"609d8b3de057bb4a26b7282e097938d6f760250c","datavalue":{"value":"10.4230/LIPICS.CSL.2018.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079756$9EE74A86-1104-43E0-9D8E-A757C854F19D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd47da975f8513bd9cb72bb92c89c79ea12fdfe","datavalue":{"value":{"entity-type":"item","numeric-id":5499648,"id":"Q5499648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b609d2bcce777211ea71266532e22c0f22b9890e","datavalue":{"value":{"amount":"+0.7381739616394043","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":"Q5079756$7C5424E6-7A01-4D98-B722-3ACD45E92F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1156be26d8ce132080bc8f0f9817fb5f9f4a0405","datavalue":{"value":{"entity-type":"item","numeric-id":3655205,"id":"Q3655205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1645a3a748a1e2346ff786ab4b9f92c7804d313f","datavalue":{"value":{"amount":"+0.7229732275009155","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":"Q5079756$57193A08-8682-4E30-A0AB-992A9F7BA0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb50807888c024fdf11d80b6762b34e2601ca427","datavalue":{"value":{"entity-type":"item","numeric-id":2062122,"id":"Q2062122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7480ac5555be250e1cc481c5b8a7daac695edcb1","datavalue":{"value":{"amount":"+0.7148726582527161","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":"Q5079756$2D8213A0-6E78-4083-AE81-C4607A593676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f591c51f6742417a63551937e284c427a539474","datavalue":{"value":{"entity-type":"item","numeric-id":4995362,"id":"Q4995362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c7e5e2bf9062e1c092bd1e230828242aaf19d1","datavalue":{"value":{"amount":"+0.7094221711158752","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":"Q5079756$759C0575-1AC8-43FF-B4E2-44C81C3CE8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fb1657427495232c5ae2608a0e6d15ca998a89","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e395aec32b9336dc647cac4dab85435b126085","datavalue":{"value":{"amount":"+0.7060595750808716","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":"Q5079756$9EAA7219-8F33-436C-A225-5F5D0CF546FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079756"}}}}}