{"entities":{"Q6187052":{"pageid":13321940,"ns":120,"title":"Item:Q6187052","lastrevid":58747191,"modified":"2026-04-06T14:03:07Z","type":"item","id":"Q6187052","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7799614"}},"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":"Q6187052$FB48C2D1-68A7-4CF7-AC72-841AC0361FF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd1e780c6b9d32de1062017625c6e21a121a467","datavalue":{"value":{"entity-type":"item","numeric-id":2007733,"id":"Q2007733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187052$96F834AB-4D26-4E4D-BB05-7FAE8A27A8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec2e33a8395d34ec202485e3d91feebb4de79cf7","datavalue":{"value":{"entity-type":"item","numeric-id":6187050,"id":"Q6187050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187052$853DBD40-037F-4EB6-AABC-484BF1CB47AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c35400e16b07456542e2967d45bf931be858299e","datavalue":{"value":{"entity-type":"item","numeric-id":6187051,"id":"Q6187051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187052$47C161C9-2849-497C-9A14-03A300C4A6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda1a609499962c000f6fa846f1384b1eeadb950","datavalue":{"value":{"entity-type":"item","numeric-id":1959426,"id":"Q1959426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187052$C7B805F1-BE5D-463C-B9B9-60DE511DBE5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36c2e1616da38323cf7ff49255652cb2a9eb6fc6","datavalue":{"value":{"time":"+2024-02-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":"Q6187052$1FAE6DCC-6D17-4AF2-BD77-BE2691892FE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37e5fbaf70a77fb8cc5547030e196e7b8485ed2a","datavalue":{"value":"https://arxiv.org/abs/2106.15250","type":"string"},"datatype":"url"},"type":"statement","id":"Q6187052$44CF75B5-DBD3-46B9-BEF2-032B1AFEC52E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187052$B869F006-F62B-4242-8631-FB5BE9A62098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187052$E45263A4-262E-4F1E-8ABC-9ED007ED4D14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"204718f57f08c79bf69e3bbe1c46802f23edd3a0","datavalue":{"value":"7799614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187052$076DC2F4-6C21-4BF7-9C0E-A55B86324613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6cb7236729c4e892035f974a585ece79ad374f","datavalue":{"value":"statistical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187052$4380A5A3-E077-4D38-A286-E53CB52F71C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187052$40E9C88B-B7AB-44FF-9806-126F0DE8E53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187052$83CF425C-4EC7-4C96-9F6F-33485488847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187052$761EB91F-CC71-4F3B-AE1F-2031CA079A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187052$865EBA73-1CBF-4FE4-9173-97D3F9A3C549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345322a68f316eeb67f12479d9590fb4579fea96","datavalue":{"value":"two-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187052$B849A120-1480-4591-83AB-B5B124749884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2c843b085afeb23b94ad900d14d8e33d1c3b62","datavalue":{"value":"(un)decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187052$D11CB625-235D-4DE1-AA76-6BAABEFF5D2B","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":"Q6187052$56AF4D25-858E-4C46-BA7D-A9A3FD8B2290","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"390685bb5630994fa55e4d7943c667de2b4431c3","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2021.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187052$04A24B7E-D50A-4AF7-81C2-22B85E501791","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6187052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6187052"}}}}}