{"entities":{"Q737087":{"pageid":738936,"ns":120,"title":"Item:Q737087","lastrevid":63959895,"modified":"2026-04-11T16:41:58Z","type":"item","id":"Q737087","labels":{"en":{"language":"en","value":"The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609748"}},"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":"Q737087$04B76936-6213-484D-B809-3D8F7E134314","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8db87838426df9bef651fdbfcf380bfbca8b0c06","datavalue":{"value":{"text":"The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q737087$707E133D-693C-4FE5-90AE-20969CD76755","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99eabbfeeaff68c5209c26f2e2c5c8d6022d12a1","datavalue":{"value":"1345.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737087$20F99AE3-0129-4492-91E5-590990972F44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$DC2E77D7-ABF2-4F56-B732-39FF925E4908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9cd3dd7f2fdc487d61a2d3b36f6537d88acf6b","datavalue":{"value":{"entity-type":"item","numeric-id":737086,"id":"Q737086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$35E45E80-E4D9-43FD-8980-75FFA25758C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q737087$130D1706-982E-41E7-999A-8FC4A1100258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a41844100f5f6d9acf01f0296ecaa5cbd06ee63e","datavalue":{"value":"https://arxiv.org/abs/1506.01476","type":"string"},"datatype":"url"},"type":"statement","id":"Q737087$1609A5DF-AC82-4B29-BBE5-E26E17121E32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737087$6B048462-355A-437A-9476-107951117084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737087$C44C2434-F1B8-4771-B08B-EFBC5B885F59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1f9941c699549f4a8f807eb5285063b8010ca0a","datavalue":{"value":"6609748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737087$E76C3F34-F857-4F8B-8909-1D3F4174DB72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q737087$2668C22E-0D94-41D0-BD84-2CC85F6FA340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q737087$AE5FAE1A-A222-4223-8919-EC5DCFD625D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1c9ed8677d2601e9b09fce8916d344440d80c9","datavalue":{"value":"restricted quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q737087$7D2B9D1C-41BA-4294-8521-AF14EEA20AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2020c08ca284e2edd10f47fb82376b53a4d7f14c","datavalue":{"value":"finite enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q737087$63086945-9919-43EA-AC01-F9C5A680F234","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6cc8e94400198e2456d50dd465706463f84e13ac","datavalue":{"value":"Q113317699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737087$28752602-102F-450E-A6A2-3914EA8FADF1","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":"Q737087$BAE85F46-42DB-40DE-A094-E614A2EF7FE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce1e3f32e9308465ae0bb600cec784ea95f24969","datavalue":{"value":"W2962833833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737087$B0D02A71-211A-42D3-93FF-6B7E7C54CAF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c43ccdc56ef5810d591b6bbf6159ff37313d08","datavalue":{"value":{"entity-type":"item","numeric-id":3003675,"id":"Q3003675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$897DCC30-69A4-4554-B0C6-FA7E807B3C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$33D22D89-CEAB-4175-95D8-4DE0C744415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deed870d3160c3d9176d3cd4064d414d164ca374","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$BA6D3D25-1CE4-472B-9950-1B1131DA2083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b907711e4595ecbcd437634455de9a8e360cc41","datavalue":{"value":{"entity-type":"item","numeric-id":4234182,"id":"Q4234182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$7D626112-0C8A-420F-8F29-0C8C7E23480D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec55e7969aeddd9966d4bc467d2d8290aedc51d8","datavalue":{"value":{"entity-type":"item","numeric-id":4884662,"id":"Q4884662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$1EED4678-EFC6-4A19-890E-43CC8EA16095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ca17d19ea555d4a952245e904333a41717e1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3726080,"id":"Q3726080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$9658B64B-40A9-43A9-8A6F-4F79115E6655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e74a56d02db9ef5de98771c6583ec27c8b63","datavalue":{"value":{"entity-type":"item","numeric-id":3999861,"id":"Q3999861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$CDBE29B6-FB2E-4A2B-BAC2-BAFE97F19E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc7115e8584605f405d281013d430825ff343eb","datavalue":{"value":{"entity-type":"item","numeric-id":2360184,"id":"Q2360184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$231B378C-E179-4B33-90ED-A91FE0C49119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e4dfe68dbebff4d8955b855ffc6114f4f01ea2","datavalue":{"value":{"entity-type":"item","numeric-id":2841956,"id":"Q2841956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$06F27987-817A-4446-BF1D-80235E0A9784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1090fcc0f064b882976e43ff819e54c23f3d1595","datavalue":{"value":{"entity-type":"item","numeric-id":737087,"id":"Q737087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$87B7B963-A607-42E3-9577-08949B928678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef71c10b823a83d9ff190d3f50d1420337a24495","datavalue":{"value":{"entity-type":"item","numeric-id":1854500,"id":"Q1854500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$A856C6BA-E564-4C94-B7AE-3058FB2613AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$3706CB85-B79F-459C-A164-296EAEE29C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc67149364ad33c2367342324b75ebc1ea4ce9fd","datavalue":{"value":{"entity-type":"item","numeric-id":1904398,"id":"Q1904398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$F99DFDE2-E236-4F7F-9FEF-219C52470E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd4183f41843e54831b6922dcec64a5f3205192","datavalue":{"value":{"entity-type":"item","numeric-id":3894959,"id":"Q3894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$5C800F06-95CE-450A-B613-C29E4614139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$601B8A6C-5D95-4972-9844-F1F71BC2B4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e2bea039ea2718ebc70c750027954e701914b","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737087$F6CB92CF-CE7B-4113-A0E6-C354A79CE8D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bb4fc60330e23ecb0f15930deb39a7a55a5ba52","datavalue":{"value":"10.1016/J.ENTCS.2016.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737087$92413B6C-2862-4EF2-BD34-68A410FCA122","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7b8b9187858ee316c77d53ef54556df0d4ea90","datavalue":{"value":{"entity-type":"item","numeric-id":2252530,"id":"Q2252530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1beb4333c1142e1cb65214b80152a819a22bda62","datavalue":{"value":{"amount":"+0.8112295866012573","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":"Q737087$844F6C89-6023-40B8-ABD3-2B583B7CCD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78efeaeb84acc2621bd74f9af12a9d572aa57f62","datavalue":{"value":{"amount":"+0.7975967526435852","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":"Q737087$9EAE788C-DC18-48CF-B16F-5032F84481E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa71cd3b1c9476b91bf7510fb1f764dcc3cf3a0e","datavalue":{"value":{"entity-type":"item","numeric-id":477206,"id":"Q477206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccad2457bed9fb6c8ba6cb912baf786ee0c2179","datavalue":{"value":{"amount":"+0.7904533743858337","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":"Q737087$D9444F0C-7FDC-4CE7-86C5-9D8EC2DD90B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68391f8ef32c85200322ad9cb86b329f984620bd","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66c5448a91da1764ee374f0107f48fd9a8d1e8a","datavalue":{"value":{"amount":"+0.7886414527893066","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":"Q737087$0A49B4C3-476B-4F18-877B-279B8A30A1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b75d5aeea62b8b08b6e0e52aec0b40ebc1b0b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4263009,"id":"Q4263009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ea574794af17214e7dda34e5e6fe536ee62ae5","datavalue":{"value":{"amount":"+0.7864325046539307","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":"Q737087$68C6C4B5-86D5-49C7-A573-C431F69F49B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations","badges":[]}}}}}