{"entities":{"Q6653095":{"pageid":14264252,"ns":120,"title":"Item:Q6653095","lastrevid":42406980,"modified":"2025-06-15T08:24:11Z","type":"item","id":"Q6653095","labels":{"en":{"language":"en","value":"A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7958429"}},"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":"Q6653095$8A8055E9-E467-4390-A8BE-0909CD77570E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d798c9721b801c78b09677743b981eaa259f6fd5","datavalue":{"value":{"text":"A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653095$5C0691AD-C94E-4303-946D-04811E7A6E76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7468d844d5ebe9faf1e361c1d02644796ce3e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1617836,"id":"Q1617836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$739A345E-D926-45DC-A8E1-C7D5401249B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4721b9bf7d65faf5816017392281660320d608","datavalue":{"value":{"entity-type":"item","numeric-id":206866,"id":"Q206866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$E83B26B9-32B4-4655-A98E-F52F97772CD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$110D8252-7A90-478F-97C1-9EB85FACB5E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36a753f28d83967922d073eae3d7f7df264e02ed","datavalue":{"value":{"time":"+2024-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6653095$FF58A6C9-4EF7-420E-AA9C-29A0517108F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653095$0A3253E4-70DD-47CA-97E2-D4C75A0CD8A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f449d6b0460181967d826a30741c70953e5bf22","datavalue":{"value":"7958429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653095$381BC66E-7DF8-441A-86C8-8988E9337780","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81704b0179e227c05a912bea9aa59730777ef7ce","datavalue":{"value":"restricted quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653095$AD4537D0-DDD2-4DA6-B62B-37C4AEB3BBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653095$0E2E4ABD-FFDA-440B-846B-63B33FDD9978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653095$0E54C651-4255-4610-82D3-AC046064BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d98a8b23ac3fb03cba5e81467c489e42aba425","datavalue":{"value":"\\(\\{Log\\}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653095$098B9072-9F08-45B0-A05B-D922DC82F8B3","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":"Q6653095$4E95FE38-93A8-45B0-95F4-F1B5D37D3C35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"902527d36c142936a119ce21d4b4b4a0e46ce7a0","datavalue":{"value":{"entity-type":"item","numeric-id":3416111,"id":"Q3416111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$1569F469-22C9-42BB-AA67-865F7E93F261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6701cef1a022581fb2d347c1ca23b1df6a37655e","datavalue":{"value":{"entity-type":"item","numeric-id":5410484,"id":"Q5410484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$D50DD69D-CEE0-431C-A7A5-47CEA4E07FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199125399fde4391516f42ffcfeedf84f0250c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4621200,"id":"Q4621200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$44B55000-DAA7-4D48-878F-53502CC6C2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f299d7b0cb1eeb71e451d3e72af6cd26bf489c","datavalue":{"value":{"entity-type":"item","numeric-id":2787445,"id":"Q2787445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$CA0D36F6-F6FC-47D9-9FF4-293A03BA8A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$A0171053-973B-4D34-8535-5785FF560986","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":"Q6653095$3177585D-C74A-4AFE-8BC9-B7E370BCDFEA","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":"Q6653095$A14EE1C9-14DC-4B95-8F2F-1A5B64337919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c92224bf6cad2f1be3cc09bc75e5a89aee574dc","datavalue":{"value":{"entity-type":"item","numeric-id":477206,"id":"Q477206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$7E6DF674-1206-4153-817B-55E8FD310CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e6a439442b619f115714c1110b63ec625de17","datavalue":{"value":{"entity-type":"item","numeric-id":2915678,"id":"Q2915678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$ED1F4E6A-D694-4951-9211-980D4187151D","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":"Q6653095$D1744B42-E6E2-4684-8711-BB98B94B9D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b0373d5fdccfac91e28157c9ba1bb3f94d6b06","datavalue":{"value":{"entity-type":"item","numeric-id":6103592,"id":"Q6103592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$1B3F90B2-B47C-4669-BE07-344F7AB699D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f596328d3ac1c2d847c2c458d27f2a92d2151722","datavalue":{"value":{"entity-type":"item","numeric-id":2303241,"id":"Q2303241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$81A7D63E-28FA-446D-8557-E37F30E9BFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5104666c1a55e21a0cea2389e46ad35642d435fc","datavalue":{"value":{"entity-type":"item","numeric-id":2031424,"id":"Q2031424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$3622B702-4B8F-40F5-8E96-7A69105174E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e244af8b05925e82f00d45e7ee1d4d17907d2e","datavalue":{"value":{"entity-type":"item","numeric-id":2666960,"id":"Q2666960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$76C6313D-FE39-425E-A141-4002ED22C5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ad6b6d559d56b935a7bf439fabc97812299c5d","datavalue":{"value":{"entity-type":"item","numeric-id":2069869,"id":"Q2069869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$D45AD08C-3982-4213-9B66-7CBD074EFCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b7902c99876a02a20a0aef29c01ebc6611d8a6","datavalue":{"value":{"entity-type":"item","numeric-id":5087785,"id":"Q5087785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$B29A6580-AA90-4954-BE45-0579AECD4921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85ae08b1219093ba74e116996752ffbdb1fcf71","datavalue":{"value":{"entity-type":"item","numeric-id":6489100,"id":"Q6489100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$5E825EB3-12FD-4C5A-BBFB-F63246B57103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8676a31219437555b0b0bec1293f940ac3b8b8df","datavalue":{"value":{"entity-type":"item","numeric-id":6201710,"id":"Q6201710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$2927C503-D326-4248-BE28-4DD2B7BB6D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a27484b3a36f52d2374b568a4d4b18aa7434dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4593005,"id":"Q4593005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$44761FB8-877A-445C-AA01-EC64ACD9F471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$3213B2FB-8059-40D8-80C2-C484FEC76935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$7C766EE8-444D-4DAD-99D9-3C3A39682200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dec289217004caef20c18ff2c9bf93285a1b639","datavalue":{"value":{"entity-type":"item","numeric-id":3422416,"id":"Q3422416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$D44EF111-412E-4847-A992-E670D9A5AAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625f6543cb45ef040d1e85336980be3f05f00677","datavalue":{"value":{"entity-type":"item","numeric-id":5900690,"id":"Q5900690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$0B53C727-A271-45CD-A8E8-039AD1BD9722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d27466745eba57837a04b18173a99a47f5ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$491DD784-D40C-45C4-A3E0-331F157FA48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$A6F4B7FF-E7D3-4336-A000-2AA71EDE8FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb7200ee38294b4267d50a6c4f702f2b7734041","datavalue":{"value":{"entity-type":"item","numeric-id":877838,"id":"Q877838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$7CCE799D-8685-403C-88F8-4E027306F350","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":"Q6653095$FA1EFF85-0AAA-4CC1-80B8-92248FEBB508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5e294927e696204d25b0a98a67874fec6ce3c0","datavalue":{"value":{"entity-type":"item","numeric-id":2915897,"id":"Q2915897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$09A51F37-97A6-4862-A60F-B3A1C2398FC8","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":"Q6653095$B0D3D7AC-A90A-4812-A032-001E72FA03FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c8227514fc28acbd069eff3cc910c9513b4a2","datavalue":{"value":{"entity-type":"item","numeric-id":4729777,"id":"Q4729777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$6FB044B3-64E6-487C-B910-52CBC92920F6","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":"Q6653095$656AD5C4-ADB1-42BF-BD17-1CEE416CA564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653095$1321A8F8-459B-427E-B3A8-A5F92AA3BFC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd9911ac3f492317b8eb58ddf73b33459b5f2a99","datavalue":{"value":"10.1007/S10817-024-09713-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653095$2D04D289-9DDB-4A4F-B2D4-EF2681AEA46B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6653095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6653095"}}}}}