{"entities":{"Q3816054":{"pageid":5845960,"ns":120,"title":"Item:Q3816054","lastrevid":53763416,"modified":"2026-01-25T16:40:06Z","type":"item","id":"Q3816054","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087630"}},"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":"Q3816054$750538B2-A985-4252-8E6D-366DEE95604B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ecf80a6389e7ca81830e85735aded7f983cd074","datavalue":{"value":"0665.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816054$F18D7049-4749-4958-8D05-852D46FA4AB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95bc1f2e84be06d4f91ff95e868f77ccc09c9763","datavalue":{"value":{"entity-type":"item","numeric-id":1105568,"id":"Q1105568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816054$9EAB7A26-36BA-4675-BDF4-01CC6F98632A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3816054$972BF985-30EE-4249-9BA3-8C353B41B99F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816054$63FC9A94-C620-43ED-8B07-064FF7F3E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816054$EF1A1BE7-5320-4551-8B99-02CD860CE94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816054$B4D15072-59A5-40FB-9B2D-D042B4B69340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816054$1D02EBE0-4372-48CB-9EF4-8D1DE7660EDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23375da8433c7b405b831b2ff62d84611eb26c99","datavalue":{"value":"4087630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816054$05AB523A-A796-42C8-ADE7-02A25EB750BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6043b50de10fb2d5e6ec8c785e0cce04e52c07","datavalue":{"value":"predicate provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816054$5B72C6B4-75E1-4AFA-9A56-14552597B8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fac2d9942bfa4626225f9e881d5b0a458de4cd46","datavalue":{"value":"lower and upper bounds of arithmetical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816054$6FC30DCF-2436-4BD5-B969-9D0D01C52BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"328ef412d14fec651c0fb4bf363170181348d867","datavalue":{"value":"pairs of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816054$1A12A31A-F9F9-4260-8420-973BB41D04F0","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":"Q3816054$52FE6202-54C2-49B8-B959-8E549C9E963C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555a828816845260cb909998b918ea151355dc56","datavalue":{"value":{"amount":"+0.854335606098175","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":"Q3816054$D1A1360C-7948-40B8-9769-9AA0837B7443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521e75b0f25967d2aebe2421363c6a03e5d12565","datavalue":{"value":{"amount":"+0.8454458117485046","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":"Q3816054$9960AF52-89CD-4D74-ABE1-C10E69B728AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85aa92b0f5a7436a503b5be64218b44b74b719b5","datavalue":{"value":{"entity-type":"item","numeric-id":4292606,"id":"Q4292606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abef54b703e4b2bd6e8a7d9ef2fcc0778d118ccb","datavalue":{"value":{"amount":"+0.8299298882484436","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":"Q3816054$B7FD90E9-9388-4E26-BC1B-CE17E0E69EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539321ca0606e3c2a2477759fd9797a1bbc64117","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e475ed7d9e0dfe8db175fdd7c0fb3407dd558d","datavalue":{"value":{"amount":"+0.8272126317024231","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":"Q3816054$317A988D-2675-45DC-8FE4-BA3FC7F151CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee830c2602cae53dc524e7f165b169a576fdf12d","datavalue":{"value":{"entity-type":"item","numeric-id":750418,"id":"Q750418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285466fc2ef7d85fdfeabfe571789619a766ca9a","datavalue":{"value":{"amount":"+0.8248791694641113","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":"Q3816054$B35FBEE1-54C9-466B-97A7-7547A094F6F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3816054","badges":[]}}}}}