{"entities":{"Q4868240":{"pageid":6897820,"ns":120,"title":"Item:Q4868240","lastrevid":41166958,"modified":"2025-04-18T15:47:11Z","type":"item","id":"Q4868240","labels":{"en":{"language":"en","value":"Decidability of \u2200*\u2200\u2010Sentences in Membership Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 852018"}},"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":"Q4868240$4DDDB0B7-3D0D-4AA4-B9B0-AA1F3E8785D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06403d12077a58a5d2949a4b4086f611549a9d2e","datavalue":{"value":{"text":"Decidability of \u2200*\u2200\u2010Sentences in Membership Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4868240$60437462-A42F-4C6C-94D8-4413696770C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d13184637aac858867fd622557782482e8cd31b","datavalue":{"value":"0836.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868240$505AC182-A199-40E3-83CB-184B97CAF8C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868240$EBA6E57A-14E7-4DF8-900D-B5AB9053D3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868240$64D2D88A-3499-42E1-834A-DFEF2CB7C0BA","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":"Q4868240$FCCB3B39-99B8-40E8-8B2A-ECCBA262558E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868240$39BA0922-C63E-484A-B0BB-8158922F78A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5234c3c3eec5889ee0b52a7482e82bd6b7ddaa49","datavalue":{"value":{"time":"+1996-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4868240$614E3373-DA19-4EF4-B20A-97523409CC73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868240$05EE5A90-A871-43BA-8400-751E62696866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868240$D240FB0E-B065-4AFA-B582-DD22E53BA577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868240$68565042-4621-401A-83C3-E28116C3436A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5ba2dd18f7a42a5bbef9b6046094f9895deed08","datavalue":{"value":"852018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868240$F3707DB6-B8BA-4799-8973-0A93BF39846C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4149a8f1669aeaa044f5642a62d17f86820331be","datavalue":{"value":"fragment of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868240$792F9924-5504-4F75-B9CA-B9C4B073947B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0968d6bde127e15922d2677f3b98befc2fe31f23","datavalue":{"value":"satisfiability of prenex formulas involving a single universal quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868240$444FF684-FE9E-4526-82F9-EFD9C9F979A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868240$A414EF39-F9D1-496F-A0B8-AAEF73424149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868240$9C015E43-15D7-4293-9AEB-D381B3678324","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":"Q4868240$A0EAB267-82E1-4CF4-B318-84ED808F2FDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08794ae968f59ae2bbd9d8d58db53a8f23880a56","datavalue":{"value":"https://doi.org/10.1002/malq.19960420105","type":"string"},"datatype":"url"},"type":"statement","id":"Q4868240$94BCF534-4B60-42A7-B548-A8786572C5FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f7c48cbd88c3bc835638a6d6c9e93f0cc02c16a","datavalue":{"value":"W2010678885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868240$17E1FEE9-56FB-4B9A-96D5-C622D7CC773A","rank":"normal"}],"P223":[{"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":"Q4868240$C950DCB1-36C7-4E14-ABF0-04D8EC6D715B","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":"Q4868240$E68D916A-F191-4C93-8541-FBEC9525292D","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":"Q4868240$25305288-DCCA-4452-84DE-B188E8A25E48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6cdd275854d21e2f8d813126422f655e8e5688c","datavalue":{"value":"10.1002/MALQ.19960420105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868240$45109AE5-A7C3-4B11-9BD1-3AD3512CD7FC","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":"065482e2ba72f448028718bbc4309af82b72730c","datavalue":{"value":{"amount":"+0.9362213","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":"Q4868240$E77E1D81-A599-44AE-9C47-E8C0514BAF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41c2421a8df4b2e5788da0577c2658044905377","datavalue":{"value":{"entity-type":"item","numeric-id":1049750,"id":"Q1049750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56830bfb1986261835b85e19ea1e54485c1c0733","datavalue":{"value":{"amount":"+0.9223183","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":"Q4868240$A74DD1FD-89D2-43D8-84BE-E8A368576EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40ec3d996aec65969d419a1a0fe6f0de5b62755","datavalue":{"value":{"entity-type":"item","numeric-id":1903592,"id":"Q1903592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c755e12b7da010eb83ca27a611664e13644202f","datavalue":{"value":{"amount":"+0.90691954","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":"Q4868240$C23AC3E3-BD17-4822-9050-1251A9136A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"279a4c707c95a9b9efb570ce98ce07e42f9e99a0","datavalue":{"value":{"entity-type":"item","numeric-id":3416111,"id":"Q3416111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9d8674a2bb22783e5298b22b108b9c7042c469","datavalue":{"value":{"amount":"+0.8938144","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":"Q4868240$85527D6A-B425-4C7E-8BD6-1150F273772A","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":"a39566388834f5694fc35f05c81ba96772450969","datavalue":{"value":{"amount":"+0.8920781","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":"Q4868240$C708717A-ADA6-46D2-B3B8-95DE107A4AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb7fd325bdfc342325a36ec2c35c76ff3682314","datavalue":{"value":{"entity-type":"item","numeric-id":647342,"id":"Q647342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5475de14f4b861a48537da49a62576fc15984667","datavalue":{"value":{"amount":"+0.87844783","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":"Q4868240$B21EB28B-8321-49DC-98F0-8C5AAB3388C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6764101ed84dfb67960bd5445555b4a54a86815","datavalue":{"value":{"entity-type":"item","numeric-id":3720563,"id":"Q3720563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604a13148a52f3aea70aa521eb25369c23e840b8","datavalue":{"value":{"amount":"+0.87823164","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":"Q4868240$270DEA6A-B230-49BF-BA78-7829F51BA1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3cdc58bda495ea31b0e19647beba1a99f54dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3489978,"id":"Q3489978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb9a8b08bc8f770124d626979652e31a7e8dfe3","datavalue":{"value":{"amount":"+0.87660533","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":"Q4868240$904A8203-2D09-4DAB-B8F7-DB9762EC3796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1262906b3807146a2b771cd252581d644ce61de","datavalue":{"value":{"entity-type":"item","numeric-id":5305060,"id":"Q5305060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4af66cba9cc8b04823c23e864d38313ce3c497","datavalue":{"value":{"amount":"+0.86598134","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":"Q4868240$BEF8B5D0-3021-4D1B-AA1F-38C1DC0EE95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca313c19ee15e85742188f8be37d2d9ca6fa4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":4440899,"id":"Q4440899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085812da21d79e16774536acb24ee4bf72d8c0bb","datavalue":{"value":{"amount":"+0.8656642","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":"Q4868240$84588A9C-24F2-4767-A477-5D65AF61FCCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4868240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4868240"}}}}}