{"entities":{"Q6135776":{"pageid":13270083,"ns":120,"title":"Item:Q6135776","lastrevid":58714872,"modified":"2026-04-06T10:52:30Z","type":"item","id":"Q6135776","labels":{"en":{"language":"en","value":"Positive First-order Logic on Words and Graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731935"}},"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":"Q6135776$207C55A4-0C4C-4D93-9964-796CF542FE58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ad6365e195a3216107a64b890419bf7d41e2292","datavalue":{"value":{"text":"Positive First-order Logic on Words and Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6135776$6B6BAEA1-DD06-49E2-BA8B-32CB2B128DB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$6B6D2115-45CD-4925-B274-5360BD4D38B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$57CDA30B-FE05-46E4-933C-B52D86F18294","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6135776$5650C739-AEEE-42AA-BA7C-AEA9B5EE56B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b60eb33e72a5164fafe524afdf525409d684bb49","datavalue":{"value":"https://arxiv.org/abs/2201.11619","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135776$687F01FE-792E-4D94-97CF-884D18D92EB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135776$C288A014-5115-4B42-92E3-A5D947B8EF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135776$51E3C469-7E3A-469A-A225-C1AD55904A2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78f228cf6317c955669a79bd6dce6a243f648932","datavalue":{"value":"7731935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135776$2E53B781-3EA4-4888-981B-4264395245CB","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":"Q6135776$32E7CE9C-6697-47DE-8767-7FA4674C6382","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91208a440a6eff9bc47ac1adcf40a48d3c5ee83f","datavalue":{"value":{"entity-type":"item","numeric-id":3778681,"id":"Q3778681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$DC8D0861-558A-41AF-8434-E3BAF3A96400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994e34bbc8e60f91f664220e14ef380ffbaf4d42","datavalue":{"value":{"entity-type":"item","numeric-id":4362725,"id":"Q4362725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$CCB91BC0-88A7-4891-9150-C88240764734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39921ea5b5cf71915749d2f66167648a28ef38f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311284,"id":"Q5311284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$02AF48AB-ADD0-4353-A7AD-8ACCCCAEA20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f19f09e499ec27f2ccc5e2976e859b85509c723","datavalue":{"value":{"entity-type":"item","numeric-id":3004564,"id":"Q3004564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$710481DE-5EA6-43DD-92B7-AFE585ABC316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefbc331f56c82fbaadbf3792200371a06524738","datavalue":{"value":{"entity-type":"item","numeric-id":2846575,"id":"Q2846575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$B451F7E9-9573-40B8-8C32-1EA78C9AAD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c86ecf848a0af980792d8af91675c2b24d45b8","datavalue":{"value":{"entity-type":"item","numeric-id":5271047,"id":"Q5271047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$78A33EB3-0EC3-4224-A8C2-D94A94C970EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$7399C17B-22E7-4E2A-AF74-E0D5D14EDC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7af8f08834ab198ba9f37ba14ced953c45bb1e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036700,"id":"Q4036700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$64396802-B4F0-47E5-8D2F-6FC6DC670ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42317f55750900e19060b84bbe48865f9d2335fe","datavalue":{"value":{"entity-type":"item","numeric-id":5559248,"id":"Q5559248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$5F72D9D5-6A7A-49C8-B345-7DB9F9F33742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd660a12fcee8fa4fb8ccaef24fede6023aacfb","datavalue":{"value":{"entity-type":"item","numeric-id":5404469,"id":"Q5404469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$B3FE727A-5A35-457E-94BC-17C1AD579DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4719638bd37b04f1e3f0c222619571c35f31a628","datavalue":{"value":{"entity-type":"item","numeric-id":3167019,"id":"Q3167019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$6C9637F9-9F2A-4362-A9CC-AA2123670859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$E682F409-41C9-4890-BFBD-FD28CB4EF856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d284688897c74b3e0cbeb95e2bfa0408f9c5fd","datavalue":{"value":{"entity-type":"item","numeric-id":772219,"id":"Q772219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$C8750562-3954-4D4F-8C33-8759EB051FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$AEBAA0DC-04A7-4622-97D4-0395FA6535AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4df7e0cfc71e00e68170d8de7111fe7fd28917","datavalue":{"value":{"entity-type":"item","numeric-id":5096178,"id":"Q5096178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$B4289B99-CFA3-4EDE-AFC7-6B7358417372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5aeac93696d6715c7bc784542dbf7e958d9f31","datavalue":{"value":{"entity-type":"item","numeric-id":5244385,"id":"Q5244385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$1D426E9B-3575-46CD-BCD5-7E235F377A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8184aaf98b668acd5b2f8a968bacc120e77ebfc5","datavalue":{"value":{"entity-type":"item","numeric-id":3546368,"id":"Q3546368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$7B1026A0-1B17-4FC5-80D1-780398AC1AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$07E59E13-BC08-41FC-B1EB-A10F4C71ED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a2bb5430c4d9826e0b95f70a2b8f24d88d8c94","datavalue":{"value":{"entity-type":"item","numeric-id":4305345,"id":"Q4305345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$B74CCDEE-05F3-4AA0-AD41-148C7E506CEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ca4a33a3a55be6b7cf75caaacb1ebd33eb40666","datavalue":{"value":"10.46298/LMCS-19(3:7)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135776$3DC0D4F5-3EFA-4FF5-96E7-BF0CC349B42D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83eed39038c136cd7367ce9a02bc06db956db399","datavalue":{"value":{"entity-type":"item","numeric-id":2254514,"id":"Q2254514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe76ccb4557469e9a859af68153575b3d3c69f2a","datavalue":{"value":{"amount":"+0.8996099","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":"Q6135776$CF96362B-39EF-4B11-9B69-8C6487DBD41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64efe3300ecbb869a5849257c34360d35a3682f","datavalue":{"value":{"entity-type":"item","numeric-id":4654647,"id":"Q4654647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2bb5f0e639a104c22a838f94cdf08b85abf3977","datavalue":{"value":{"amount":"+0.89495355","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":"Q6135776$0B580A28-01F7-49DC-A13A-1A8A87867B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac98d46e3fd6b9b2b410a7f6b3ac52b35926f32b","datavalue":{"value":{"entity-type":"item","numeric-id":4981168,"id":"Q4981168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbf9b8d3026c6b2d766ce7aa4a12e2621c4ccb1","datavalue":{"value":{"amount":"+0.89407265","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":"Q6135776$DE99C9A9-7B9D-482E-BB4B-330EAB75F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f101ceaaf690bd251a6869abe2c5429c36ea89","datavalue":{"value":{"entity-type":"item","numeric-id":5292605,"id":"Q5292605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c55573f29750937bcaa36424c08f5765316591","datavalue":{"value":{"amount":"+0.8899571","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":"Q6135776$A2E887A4-704E-45F9-BD04-52D1C44AB142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b6ad759772ae5934707cd33ba2a781cc79ac8e","datavalue":{"value":{"entity-type":"item","numeric-id":4950848,"id":"Q4950848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d31cc1f30ca4b6995e1656ee73d7b29bd848f2e","datavalue":{"value":{"amount":"+0.88012797","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":"Q6135776$FCAFDDDA-56DB-4D68-9248-797E3E2B8776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51d271d075e3c8d068a9b6b4b1b48fe176a9587","datavalue":{"value":{"entity-type":"item","numeric-id":4635595,"id":"Q4635595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ca0df90ae5f773253933c07d98ee341271aa32","datavalue":{"value":{"amount":"+0.8773058","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":"Q6135776$60371A57-5B7E-4DF7-A2BB-01139BDFD30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab9eff004440717ac12f3c036d5eca67c3856ff","datavalue":{"value":{"entity-type":"item","numeric-id":5278208,"id":"Q5278208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ca0df90ae5f773253933c07d98ee341271aa32","datavalue":{"value":{"amount":"+0.8773058","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":"Q6135776$E9373FD1-DB04-40C5-89B1-C4E033A517D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32ba10a8b7ddbc6737c6ef6582be1ca3bf7a2af","datavalue":{"value":{"entity-type":"item","numeric-id":5214732,"id":"Q5214732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43cec065069d52bcf60e86f8bc844e8380108dce","datavalue":{"value":{"amount":"+0.87484133","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":"Q6135776$3A7CA418-DE94-4F51-8F6D-52E2E1A335C9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135776$9D655C62-0EF9-4054-804C-4A754C13BE28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135776"}}}}}