{"entities":{"Q2096446":{"pageid":2107189,"ns":120,"title":"Item:Q2096446","lastrevid":43513153,"modified":"2025-07-30T11:23:20Z","type":"item","id":"Q2096446","labels":{"en":{"language":"en","value":"Deciding simple infinity axiom sets with one binary relation by means of superpostulates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614514"}},"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":"Q2096446$7FA2EB91-7750-4229-B98A-7621267F8E95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c364fec3a2adc5c5e61212ffdb5d546c28c7793","datavalue":{"value":{"text":"Deciding simple infinity axiom sets with one binary relation by means of superpostulates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096446$FFD4005F-949C-435E-8BF0-920A7643991D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"371cc86281a61c891467e40a4b8527a00c74615e","datavalue":{"value":"10.1007/978-3-030-51074-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096446$5B3A7E9F-8792-4469-9AE9-A8EA0EB74EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba78823b0b0d1a81604ef865e854fb8c30911e0a","datavalue":{"value":{"entity-type":"item","numeric-id":1024866,"id":"Q1024866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$15308C81-7FD4-44AF-B3C7-B0DC99DD7719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95424cb665f78a19a41c10d66ddf0fbbdcd86a92","datavalue":{"value":{"entity-type":"item","numeric-id":955273,"id":"Q955273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$206E0353-13B3-45E9-A68A-52BAE9F2D5D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096446$95B9765A-253D-433F-929A-6D387BCCECC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096446$0EB7A5FB-B4CF-41C6-B993-0A4BF9CD8B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f287b83f8105e446d3d5245cb94588d1a42ebec","datavalue":{"value":"7614514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096446$E560ECF5-FF7E-416C-9A0D-5BB03A1C9023","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096446$62A040AA-F2E4-4117-A11E-69CA7A463622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096446$C66624C1-A1C7-4A1E-A879-97F5D62FE47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815951cbb5cef50453fd1ec8ac41e575017ebced","datavalue":{"value":"complete theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096446$9E529A11-900F-477F-AB26-08D00C85CA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c7a7659e9aec378d056cc871598413fa19287e","datavalue":{"value":"infinity axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096446$AC05C33F-A1D9-4EB6-81DD-27E47EFF930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba41587353da0f31fef60a6d700e2e8ace3bfd","datavalue":{"value":"reduction classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096446$41C98DCE-3E5F-4166-8EC5-7A1C8695606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e64fbf9dfc4792d0f50484bc4dda68182ca0e147","datavalue":{"value":"dyadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096446$B5BA8DBC-BD2E-42A6-AE1E-6A13F3AC12EA","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":"Q2096446$2A965A41-58BD-4261-BB26-A8001035B472","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b11c6a2ea7f3ba0d8c43f635c3a224dd1d4c4506","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096446$D1944D3F-F4A9-4560-9CC6-2F5B20DD69F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af732e12cea6c998059516f4d0607e1f1dcc1688","datavalue":{"value":"W3040284829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096446$639F59E7-3393-403B-A840-5971AD5776BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f6a8df5c80c75352aecb2b5ce4ac199d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":5944231,"id":"Q5944231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$CD403AFE-A753-4AC3-B275-F1452D99261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$3F52CECF-312D-4DEA-BDA9-9D4742648661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdeeca14887cf7eb441f257c3e02700a5b7e253a","datavalue":{"value":{"entity-type":"item","numeric-id":438540,"id":"Q438540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$B12024F0-8055-4DDE-AEB8-0AABB48D363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7394e5d6e9faf75cb91570987cdb73284cf1398","datavalue":{"value":{"entity-type":"item","numeric-id":5311726,"id":"Q5311726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$72992685-6BCD-4087-AF6B-ED3DBB586A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$8AC52212-6F3B-4DCE-9F55-28871CF8A55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1a301cd93c8014a1841e85fdb1644154a042ba","datavalue":{"value":{"entity-type":"item","numeric-id":5611757,"id":"Q5611757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$B18DBE0F-CBFA-43C7-9A62-BD936E3AC726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b19859698971e62a5da7de72a24f18bb41b8a34","datavalue":{"value":{"entity-type":"item","numeric-id":4644489,"id":"Q4644489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$1BF2E791-DE5A-4401-86BC-1F861B653BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff81fb01750799cbaea7095468690ca3bfebfa9","datavalue":{"value":{"entity-type":"item","numeric-id":1183711,"id":"Q1183711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$51584D75-7D6E-4A60-ACB6-27D7F2723A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$8ECE7196-3C93-4676-AFE1-4408734E3DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e2f35b820e0989a746aa2372ac1329b9086d77","datavalue":{"value":{"entity-type":"item","numeric-id":4914196,"id":"Q4914196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096446$D2C91F2E-4E90-4809-829F-69031000BA50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3816da7661d1c3a31019f72c61f8f08e94122d","datavalue":{"value":{"entity-type":"item","numeric-id":4583174,"id":"Q4583174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54bf456497a8e50a675297c1c0ef59a5d62d5b6","datavalue":{"value":{"amount":"+0.8483361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$3F1589C1-A97E-4FA1-A45D-EFD992A44C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482bd00e718e18359352de9eb5608ec19c531d2d","datavalue":{"value":{"entity-type":"item","numeric-id":1314267,"id":"Q1314267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d73a9aa9904d4d5d24d5af481fe02f2ad23174","datavalue":{"value":{"amount":"+0.8341991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$14B73119-081A-4EC4-8344-596DC56BA1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50eddb9dedf69a88037a755d6c994acc4920905","datavalue":{"value":{"entity-type":"item","numeric-id":3693522,"id":"Q3693522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57bc41245becb5bf7bfc0caf8aecb23532a5eb8","datavalue":{"value":{"amount":"+0.8292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$AE498FF1-52E9-42BF-8188-F29364A6B3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434c14b76dd3a534aafe36ae1baa643a2de7b312","datavalue":{"value":{"entity-type":"item","numeric-id":3469099,"id":"Q3469099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e795ea6d9141cf3cce923b8e2f24e58c381dbe","datavalue":{"value":{"amount":"+0.82861507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$4CF4E4CD-E340-49C1-B631-6A905339243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fded7d83a66917e584add0d176c2537fe7506b4","datavalue":{"value":{"entity-type":"item","numeric-id":1408462,"id":"Q1408462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad33aab83baa3e207e4f6c33d61b829b07badd3","datavalue":{"value":{"amount":"+0.8263166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$D89B30AA-2749-4104-A709-14225731BE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2ff30be5a5ec6296f287b151864420c40f978","datavalue":{"value":{"entity-type":"item","numeric-id":4729777,"id":"Q4729777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24583f62c263b38e41f2d374dc2b424fc4ee27b","datavalue":{"value":{"amount":"+0.82470465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$21A92153-4BD7-4EA6-BB02-4276985ADDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2838ccccf38e0028db1679279e55a4da15c09600","datavalue":{"value":{"entity-type":"item","numeric-id":4295224,"id":"Q4295224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222f6983c3ba3ce38f21a836b7a019f9b772170b","datavalue":{"value":{"amount":"+0.8234572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$24BF3E43-C27C-4A8F-BBE0-FB23A46C9006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9650ba6202ae9c89872ea357159a7877ff276403","datavalue":{"value":{"entity-type":"item","numeric-id":1312954,"id":"Q1312954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98eaa658a56153de28e63fe5553d25f83ca0abbf","datavalue":{"value":{"amount":"+0.8233525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$BB76BBBD-EA91-4EDB-A1F7-93A0CE22E165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c18afeaeea352885a6741509c4ac8b71c1a0717","datavalue":{"value":{"entity-type":"item","numeric-id":2259003,"id":"Q2259003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603261e54f4a713b2c29febd44de58be82c91c80","datavalue":{"value":{"amount":"+0.822552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$2541C444-76F0-4CC9-956A-B32357C0EC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a404614825300543eeb61f3162411d21ce194a9d","datavalue":{"value":{"entity-type":"item","numeric-id":5221578,"id":"Q5221578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0aea44a94c8bca3a7373b482d1f0e830c7f9109","datavalue":{"value":{"amount":"+0.82190174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096446$FFCB0BE6-D6B4-4D40-BFE6-20A2AAD8C41A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096446"}}}}}