{"entities":{"Q1867216":{"pageid":1877958,"ns":120,"title":"Item:Q1867216","lastrevid":48075076,"modified":"2026-01-03T13:45:30Z","type":"item","id":"Q1867216","labels":{"en":{"language":"en","value":"Deciding the guarded fragments by resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1891238"}},"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":"Q1867216$6841EA80-9AA6-406A-8CCC-3505269DF4E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed9d4ebf1f84610012e03a3102d232455dd1a9af","datavalue":{"value":{"text":"Deciding the guarded fragments by resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1867216$9DFC11B7-90F0-476B-9B77-3CA6A285E322","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bc5db3fc76d6e32a8e28dd44ab090226e5dd418","datavalue":{"value":"1012.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$3DBFF54B-D2AD-4C76-81AC-72B29D88C210","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"980dbc55d63deee14f10b0857695be90abdb2670","datavalue":{"value":"10.1016/S0747-7171(02)00092-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$6E61132D-00E1-4B52-A19C-384AF300404A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$5531FA58-4348-4632-8FCA-991530D3F382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$5CA33B86-34F3-4CD7-A417-DCA841353EC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$21467E9E-C9D5-43C3-B50B-EABE156A2314","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f699768a497e541193a45e7175e5f9b1c45f87fa","datavalue":{"value":{"time":"+2003-04-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":"Q1867216$1EAE7744-59D9-48FF-A744-27EA2C573C42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$37A53249-F04D-4687-A110-FE43566E708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$639D4F21-A110-4AAD-B7D6-B40FB5FB3DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$FCB5E248-B55E-4D12-BD0F-FDB02CBB7935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$AA475C19-1CA7-45EB-A681-EF6F4A95853B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"357ecde4073910b603aaf81ce4159d66dd974898","datavalue":{"value":"1891238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$E3DA7A28-F586-43A1-BAAB-C6FE9228CC16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867216$B299138E-7040-4D0A-A15F-A049924B6AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867216$5D8BFE50-4FA3-4C4C-9BE2-D800F9512BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9fd83c55af8402fd4985155ffa098f75f768c0","datavalue":{"value":"resolution-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867216$1D06CF42-2EE3-4145-92F5-F75681E983BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$1EBEB038-6DC9-4BF7-A9AC-3AA767FCCE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f63de557d279c4616add6af7fb4f5f08e4cbf484","datavalue":{"value":{"entity-type":"item","numeric-id":41399,"id":"Q41399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$0E6FA880-41F5-405B-B05A-8EA6674C0F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$163398D2-99AC-47D0-B64E-E5DEE6EAF1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a761178b05ceb8505a589f51ea41c7640322dd0","datavalue":{"value":{"entity-type":"item","numeric-id":33154,"id":"Q33154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$9C2607FB-5505-438D-A0FB-2E9D2E50F8F5","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":"Q1867216$7C2DABDB-09D4-496B-AAF7-F1C18056AE02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$D344F2D4-2DD6-42AC-B348-A474FAB4E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$D0A28779-4233-4958-8143-C9664793FB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$DD2939BE-32FB-42A0-80B2-8299A0129D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18abbc56e4cb4d99ad3f2f1c904bfd21b7ff084c","datavalue":{"value":{"entity-type":"item","numeric-id":4282525,"id":"Q4282525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$02F91D58-6B30-4151-9779-9648B568A55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ef7fe275e1013dfbbe27b73bc3de1034cddb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4474846,"id":"Q4474846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$FBC83267-188F-4624-891A-2D38551C719F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2b941917dce341ff718d83ae85a2cf999d6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4249898,"id":"Q4249898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$9F8D2D99-417E-48C5-B3BF-E11A889E2E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758996f141f0e4fff0d52176e516e385f5dda0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$4C69CEEE-B298-455C-82F6-64E88368364D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$A84D6216-A5F0-4F30-9FBD-489F2FA9A2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e8b232baa9b03a98b6de510505525c83b98fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3674621,"id":"Q3674621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$B2FAA20C-FE09-4F0C-81A0-4317641D7605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$4E6E2A68-9A65-46C5-A81B-332B6CE7CC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$D37801CA-9D8F-4C4A-AEAF-3E3CA24F7A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab7566b79bdacf4fa5f29f637fa7dd3811fa9cc","datavalue":{"value":{"entity-type":"item","numeric-id":1606296,"id":"Q1606296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$C6E05F73-0707-4314-99D3-677FC2CD0604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$FFD62742-BBDC-4132-87C2-D6F853AF1BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5088a51a9044fed79ce9440a83704faca1203fcf","datavalue":{"value":{"entity-type":"item","numeric-id":4748162,"id":"Q4748162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$45A99AA8-F99D-460C-A906-68F2DF4EB594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$8B85E85C-134E-4A13-BE40-5601910F6F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e255066744fbf71b50e49e5cf205f2bfc0ec5747","datavalue":{"value":{"entity-type":"item","numeric-id":1904405,"id":"Q1904405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$2AFFE186-F47E-468D-8D36-32C56159EF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017c184c3277fb681aa54b180b0d3db5f9e6933c","datavalue":{"value":{"entity-type":"item","numeric-id":3348885,"id":"Q3348885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$804579D5-8F2F-4B55-A2F8-429435B4AE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90ce7fe73f733b88d2da3dac92118f16962252","datavalue":{"value":{"entity-type":"item","numeric-id":4353561,"id":"Q4353561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867216$9F6E319F-37AA-43E4-9A83-E3E42856080E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e611e722eaed5d6a36fda7760699cb50680aed4","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(02)00092-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1867216$F0684EE0-AF26-4775-9492-95BDA2838032","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2d406f3eb993460c71d050c7a8b4b9de617453e","datavalue":{"value":"W2076676228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867216$5B3123E0-2B0C-4679-8EAC-46978E56284C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35823b869801ae8c08f5e8e0761bc5c949639379","datavalue":{"value":{"entity-type":"item","numeric-id":4249898,"id":"Q4249898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c8cd4f4e192eace80b4e698a226cd827051b00","datavalue":{"value":{"amount":"+0.9062366485595704","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":"Q1867216$91D02F32-E27A-402F-B23B-47A0CEC96C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbc1696578e74951632106c423907bfba23299","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c8cd4f4e192eace80b4e698a226cd827051b00","datavalue":{"value":{"amount":"+0.9062366485595704","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":"Q1867216$69C0B498-2560-4934-8158-5743E86B2250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6312db91b7d31aac91f5b41943dc962d102bea","datavalue":{"value":{"entity-type":"item","numeric-id":5307053,"id":"Q5307053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236be0c571ab5194c5e63d692e0daedf4e5938d7","datavalue":{"value":{"amount":"+0.848993718624115","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":"Q1867216$8A7AD748-EDAB-40DC-BD52-5DF00A31A891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73248f8ca2b31c8bea463bcc40cc29f9c8d11c74","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31942070421045a6896960f5364e3f4142a8a636","datavalue":{"value":{"amount":"+0.8264724612236023","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":"Q1867216$A6B8C6C0-7A44-40BB-A5E7-2F03B13329F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323f4150e431c7a7fd40ff34727ff135b7937bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2767089,"id":"Q2767089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b1b312577d144fa2254b7d11ecca7cf0551338","datavalue":{"value":{"amount":"+0.812020480632782","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":"Q1867216$DC5E08C2-BB1B-4AC2-8B7B-D6D92F3F2B7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1867216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1867216"}}}}}