{"entities":{"Q3827989":{"pageid":5857895,"ns":120,"title":"Item:Q3827989","lastrevid":54467006,"modified":"2026-01-26T23:57:54Z","type":"item","id":"Q3827989","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4103047"}},"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":"Q3827989$DF6862FF-90A7-422A-ADC8-2CD99067D76B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4589c23d25d168a897f0b1a559d18ac0ac9c961f","datavalue":{"value":"0674.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827989$2A5A35E5-4BBE-453A-8AC3-CD50B6712EF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3827989$D151B672-F5AF-47C1-BA67-2ED2C16A6B66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3827989$03D6EE00-9320-4A5B-AE36-019269B5D04D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827989$25D6B663-0FFD-46D0-8703-865A05AF10B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827989$0769F2EE-E7BC-49DA-AAA7-1A871EEC99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827989$B7D51364-7E70-4DD0-9CA0-E0A70541CAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827989$D97E8BAC-B677-422E-AD9B-34CAE7356CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827989$D98665D9-A769-43B5-BDC5-7199555209DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b067f32441fd8daa891f4f24d6fd270cd37e0d0b","datavalue":{"value":"4103047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827989$AF94EFE3-533C-404E-9016-BC94C528A5A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0673fd5b8c629234c6b78facdbfc0a0508a709","datavalue":{"value":"deductions of logical Horn formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827989$4B60158D-971A-4ADB-880D-80E50A706EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7fac9fdf14d909b2d38f4d345823b2154691df2","datavalue":{"value":"semantics of machine programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827989$5CEEFAEB-2232-4FFC-BA2A-3FBEB0EF380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d3470abeb0744a13015e7ad014eef813898ecc","datavalue":{"value":"computations of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827989$3B2EF13E-B12D-4068-9CF0-3BA3F923455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827989$A63282DE-9EE1-4097-AA8F-74646CD68904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b8393f79ad9f19ccf5bdddc9759902f98a74f9","datavalue":{"value":"Bernays-Sch\u00f6nfinkel class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827989$EF79838A-E1E9-4101-9EBC-ED54889D7778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74c272f6957950ac01102e56fb5ab5e86197c795","datavalue":{"value":"Flannagan's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827989$9213EFF0-0539-406C-9556-8C4E4B5E2330","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":"Q3827989$A78B6A09-3F54-4923-B910-6B13FD3B09F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c370c38dc3cc02d897b1ba8a0dc6bc5072f0dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4644504,"id":"Q4644504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23a177f41384982d11827b5b3b741c969bc50dd","datavalue":{"value":{"amount":"+0.9505993","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":"Q3827989$A7226F2D-43D1-4D66-9F1A-4C968844EFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e2c006bcd3fcf2c6122adb3e70d16b183d84a","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a7a542baf10dcb4f2ca77c2f68bf8e4b51336c","datavalue":{"value":{"amount":"+0.945431","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":"Q3827989$D5B4CD94-D1E7-4751-A998-4396BD1AE42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfefcfa4423e0e21b681bd1c62794fff0ec4c14a","datavalue":{"value":{"entity-type":"item","numeric-id":3032237,"id":"Q3032237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fe1afe21194287cc6833083b69c8d6ae43cb12","datavalue":{"value":{"amount":"+0.94399124","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":"Q3827989$A80F6E0B-1C58-48FE-B9CF-2D6B6233239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e21703316029a48f680ce4628a2ccc610d2a76","datavalue":{"value":{"entity-type":"item","numeric-id":1924787,"id":"Q1924787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37463aa700d7a0ca8e1d971563bca3a2bd8b62f4","datavalue":{"value":{"amount":"+0.93858933","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":"Q3827989$FED41205-94C8-4B15-B794-F505FEE391F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c52fb4839ea3921be6545251c44cb475e5073","datavalue":{"value":{"entity-type":"item","numeric-id":3000099,"id":"Q3000099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917da15323465f930e6aceae0bd681373fe3cc70","datavalue":{"value":{"amount":"+0.9364319","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":"Q3827989$09B779DD-D4AB-4DC2-AB61-ED60435F98E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab624fc8ec327569273f23f436958c224da9736","datavalue":{"value":{"entity-type":"item","numeric-id":4694223,"id":"Q4694223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5292e7240af87513a88e3e130bfd70215f93dc28","datavalue":{"value":{"amount":"+0.9360429","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":"Q3827989$91FB4138-DEB2-43F7-AD33-B942324BDD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500e46ed832a5efa549cf961e5d4a5600a2763a2","datavalue":{"value":{"entity-type":"item","numeric-id":1924783,"id":"Q1924783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7746b403e01392091c838757d2bfdafe8d336009","datavalue":{"value":{"amount":"+0.9267374","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":"Q3827989$4C8BEE6A-FDD0-463F-A83B-B077CABCB336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8abe13e1e22c2d30de8b462293c9efd77a0bdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1106839,"id":"Q1106839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f09d0e33ffa969ef00c9a8402328723cd2306a4","datavalue":{"value":{"amount":"+0.92297655","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":"Q3827989$E12CD7DB-78AB-41BB-B534-19010C6353F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d93bedac32f49ef29840872a51a1b74b8fc181","datavalue":{"value":{"entity-type":"item","numeric-id":5961490,"id":"Q5961490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9cf4c498dfb77bd4115939da37e7ca73f26dd2","datavalue":{"value":{"amount":"+0.9225816","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":"Q3827989$D7D356FD-C642-48E2-8748-74DDD3AD1E62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3827989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3827989"}}}}}