{"entities":{"Q4406309":{"pageid":6435908,"ns":120,"title":"Item:Q4406309","lastrevid":48122179,"modified":"2026-01-03T17:22:10Z","type":"item","id":"Q4406309","labels":{"en":{"language":"en","value":"Existential second-order logic over strings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1935186"}},"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":"Q4406309$7C26736B-ED32-40A1-87B1-07BCE34C3395","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2258ced74557a6ec9d88be5e235dd33f9f8ac296","datavalue":{"value":{"text":"Existential second-order logic over strings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4406309$96C8E741-0E1A-4E8A-9EA6-8B4F7DBECA33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"432bcc16866aff1525429c5160348a389839286f","datavalue":{"value":"1095.03503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$198ACB1D-5828-4F94-BD24-9E27D0C8671C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2f6c9582849ab4b2489a4caf8645aa225b0f199","datavalue":{"value":"10.1145/331605.331609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$413B8BA0-8B49-4FE3-B209-19F83046C97B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4406309$A515D8E0-2EB5-46CE-9269-8136EB10FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4406309$2C14FF24-BC54-431D-A6C3-B51F76BBB5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4406309$A69F73D5-E0B2-47A5-8BEA-044C87833625","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4406309$89D4D10B-A9EC-45B3-82C9-4C669CDD7B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642be9aa3daad5507a65db15b5d3ac8f5057a02b","datavalue":{"value":{"time":"+2003-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4406309$897694A9-3663-49EC-A854-4EEC0259763D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"513bbd93b4a9e253130968b693a56a444e5fe479","datavalue":{"value":"http://geb.uni-giessen.de/geb/volltexte/1998/25/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4406309$CF69ABAA-3065-44C6-9BDF-C12CD2A7184C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$33AAF37C-E4A4-4CF1-BF7B-B6D4CBBD4731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$F718498C-004C-46D2-B7AD-C0461877EEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$DAC9E0E9-32B9-4965-B143-0894AF18312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$DACD0C5F-2C8F-4994-81AE-E85C80FCE498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$4CBBFF8E-F748-45D1-A073-BCD326BE0F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac3f085d3fa8aef931ff1a126bfe90008209def7","datavalue":{"value":"1935186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$192988E2-CFD5-4466-A1E7-E0382226FE6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4406309$B83FD1E5-4FC9-4ADB-8E39-2C52FC1C61BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4406309$0D888ADB-ED1F-4739-A887-46BFCE52FD6E","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":"Q4406309$B2B2ABEA-407E-4CDA-BDCB-B6BFF9A444D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f28381335a0331f5f14ba615978edc8b4f72b7","datavalue":{"value":"W1975410968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$9CB09C89-A1F2-40D0-A516-B05928C12306","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d7669606ba11f129717b9fb9ec7b9a06d6fa434","datavalue":{"value":"Q130979502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4406309$5A1AE21E-702B-49F0-A293-99E624F735B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf562bcb1abc7ff5facea4550cbc7c34ff04f153","datavalue":{"value":{"entity-type":"item","numeric-id":4737894,"id":"Q4737894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0d5223cabcc60425593c9ed01e1174fb3710c0","datavalue":{"value":{"amount":"+0.8665903210639954","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":"Q4406309$DBC8159D-2FE4-4590-BB91-DE2C38957AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d45feafca4ab7a9b95aacc80e99a7c5d751585","datavalue":{"value":{"entity-type":"item","numeric-id":2955035,"id":"Q2955035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9230ddef5953572373dd5fe7bb5b47833557d7d6","datavalue":{"value":{"amount":"+0.8188177943229675","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":"Q4406309$C6EADE1A-8076-427E-B552-A9C6D2D5A9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b820afcd6f3da3a200d7aac12942bd2e15903700","datavalue":{"value":{"entity-type":"item","numeric-id":837190,"id":"Q837190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966b19abd176cea9d587f657f18572e0eb6cab93","datavalue":{"value":{"amount":"+0.786383330821991","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":"Q4406309$A178ACAF-D325-4471-919A-075391B6D46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9f4c4687b50234dd8b7cdd5e82d0c5a8c65f74","datavalue":{"value":{"entity-type":"item","numeric-id":3586006,"id":"Q3586006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe54f1d1f37112f24333abea9408941889c82cd7","datavalue":{"value":{"amount":"+0.7776198387145996","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":"Q4406309$12CB1D29-6627-4E34-9E8F-4957F3D3CFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0d296361b55df9d2a9daa0e01583e0069700a","datavalue":{"value":{"entity-type":"item","numeric-id":1306791,"id":"Q1306791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4ca4b2669300b7e567148dbf55277c07b95903","datavalue":{"value":{"amount":"+0.7637852430343628","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":"Q4406309$5A5EC97F-8A80-45C9-840C-6CC282054903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4406309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4406309"}}}}}