{"entities":{"Q1903592":{"pageid":1914334,"ns":120,"title":"Item:Q1903592","lastrevid":69244431,"modified":"2026-04-13T05:43:27Z","type":"item","id":"Q1903592","labels":{"en":{"language":"en","value":"Decidability and completeness for open formulas of membership theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824605"}},"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":"Q1903592$74F223C9-DE1C-423F-8C15-7362D8F94E82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ea232a6c18289545664576ed468671581b0578b","datavalue":{"value":{"text":"Decidability and completeness for open formulas of membership theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903592$D357968F-6425-4C59-8105-38774E896733","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f048fbc9459f1d786a8ebeb0a1121147a18f7a8","datavalue":{"value":"0837.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903592$685E24DE-07CF-459E-B1AF-2AF32E151E38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3849ab0d46c656100e05f01ddd9469234252480f","datavalue":{"value":{"entity-type":"item","numeric-id":1409303,"id":"Q1409303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$7047D985-7878-4DE0-98B2-86DABFA92B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72965f6c67a117f5726e1f872e608077b885bec2","datavalue":{"value":{"entity-type":"item","numeric-id":810493,"id":"Q810493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$E9279199-71F4-471A-B5CD-5F5E63FE5637","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$BD36A4B8-3C6C-41DF-B66B-7E8520B8ABE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903592$B558E8A0-467A-42AE-9FE6-F62043A96D67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903592$A029A0EF-280A-47A9-96A9-761E91FC1E13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"417316bb918fdf3076c122c8a9b8d86989ce66e9","datavalue":{"value":"824605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903592$EAE66405-B069-4D40-A2AE-81AD356618F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903592$CA15C489-D7FB-4B2A-A8A9-3203F145B9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3246818b2c53ca8d82b08723740411753bd6851","datavalue":{"value":"open formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903592$60B272B3-E93D-42D9-9FA9-AE4AE78F41B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903592$569E8893-BA0D-4423-B754-8D00DF9E2B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7709a3ec77c876c282efe3584bf507e7994f864","datavalue":{"value":"extensionality axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903592$B0639FC0-2426-439C-A8F4-6BAFCBB1E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8287aa9dbcc74c49e6916f92c1a65c156dad0b80","datavalue":{"value":"regularity axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903592$6DA315F0-3C13-4EA2-B3BD-85A9F2545452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bd095af09d12b682126fcb03c926b5d22023e39","datavalue":{"value":"antifoundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903592$CBE9E533-F2C2-4B81-ACF9-2C1683925B4C","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":"Q1903592$60E06265-8BC3-4B67-A233-120FFC219C4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a84a2605180e3446fd7bcdc72aa582dfeb180e79","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040248461","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903592$9F39D23B-2AD1-4864-9993-E07F4837F5BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f975beff0c7cd47ed3cbe8b78b93862828f515c9","datavalue":{"value":"W1965171814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903592$6E8EF639-AEA9-41AA-8BB9-3CA260361351","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$8253077F-38ED-4D44-A595-224AF8B98700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94dbbd3e56e72db59f1f2b99ce2421f6ddf04a11","datavalue":{"value":{"entity-type":"item","numeric-id":3916545,"id":"Q3916545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$A2293CCE-7D6D-4AEE-A6C0-63F5EFE341C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8dce39795ac5e7541f9f0c75252fa320b06867","datavalue":{"value":{"entity-type":"item","numeric-id":2536048,"id":"Q2536048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$0D70E4AE-7166-469F-9FE1-E017D537F0F1","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":"Q1903592$A4967011-97F8-46CB-8E0B-D52F22659B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$9486949A-BD0D-47EB-8A08-1E6C50C89C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d36daee9a5a312295cfa69b5e17bd46fc7367a","datavalue":{"value":{"entity-type":"item","numeric-id":1344436,"id":"Q1344436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$F39FD51D-F266-485D-A905-5DCCAA906922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979352c96340e8cbcd21d74fe5e244a3db188787","datavalue":{"value":{"entity-type":"item","numeric-id":4868240,"id":"Q4868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$54F4D9E1-7160-4117-AA17-569CB7B7ABE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12572f10082de6fdc7f0923a115477c0582b2576","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$DDD0AEC8-DF56-44E1-A82B-C68CEC054CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9362263354ec633162102a995d0ff53df5d2a42","datavalue":{"value":{"entity-type":"item","numeric-id":3984401,"id":"Q3984401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$86193E62-3913-44A6-862D-37CEBADE200C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8424ecd81935073497fcded63ce5d37355e06ac2","datavalue":{"value":{"entity-type":"item","numeric-id":4295224,"id":"Q4295224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$F90B3709-A242-4C35-9A2D-DF790DEAA136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005a6dc12ac6ce8d503ca0eb7891c6591e8e8c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4291741,"id":"Q4291741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$09035719-EBBD-41AD-8C90-059CECB0627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823dabb212918d0e765e8a638018a36dddedb37","datavalue":{"value":{"entity-type":"item","numeric-id":4332986,"id":"Q4332986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$EDA14D00-3A47-4DD8-871B-AD244E211B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903592$BEF2A328-E556-4D93-AD02-2F81CEB022C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e707e6d26240c21310e04e04851d0db1c43b085","datavalue":{"value":"10.1305/NDJFL/1040248461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903592$AD0208DF-6C95-4677-B7D2-949D70DC936B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8953b0f07ac9cd4d391604a93ffc85162063634","datavalue":{"value":{"entity-type":"item","numeric-id":4893143,"id":"Q4893143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054925b9850cb5a087ac36139aa750a0196ed1b9","datavalue":{"value":{"amount":"+0.7950991988182068","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":"Q1903592$29E08654-1BF5-47FA-A821-2C5E31FD764A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6345cf58c27de82726a56ae5fcf8d8792737c6e","datavalue":{"value":{"entity-type":"item","numeric-id":4896519,"id":"Q4896519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0449f4e54a7ccefec9b57989f2fd1c8461b1a8","datavalue":{"value":{"amount":"+0.7913178205490112","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":"Q1903592$B28611B9-F8C3-4331-A0AD-CA3D57B5DEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d749a2ece387519fcc542364c4721c5a4ea3cd","datavalue":{"value":{"entity-type":"item","numeric-id":795031,"id":"Q795031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0449f4e54a7ccefec9b57989f2fd1c8461b1a8","datavalue":{"value":{"amount":"+0.7913178205490112","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":"Q1903592$2015943A-68DC-4B48-B79A-7ABDC0D40DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bda844900687dbf4000b59db176519df0e2d91","datavalue":{"value":{"entity-type":"item","numeric-id":1409304,"id":"Q1409304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f3777de0cbd8023750ee1aed81e3a908413fb9","datavalue":{"value":{"amount":"+0.779188871383667","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":"Q1903592$9226943E-6698-4A17-B524-29B4EB15D571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5822ce399327b3d661239d498b3d772a9f8f0e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4731166,"id":"Q4731166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971e24e58a71eddad902dcf1554bacbc6eeed57d","datavalue":{"value":{"amount":"+0.7596487998962402","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":"Q1903592$ACCBEB69-2D27-43FB-B700-966A029AF7DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and completeness for open formulas of membership theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_and_completeness_for_open_formulas_of_membership_theories"}}}}}