{"entities":{"Q4944850":{"pageid":6974432,"ns":120,"title":"Item:Q4944850","lastrevid":47466901,"modified":"2026-01-01T20:03:33Z","type":"item","id":"Q4944850","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420786"}},"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":"Q4944850$E8BF26B6-A60F-4639-A3AA-9C33D3B1AE47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07b1319e32c82da7f27d58d6fe08c1dc72d2e0ba","datavalue":{"value":"0944.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944850$27E7F111-EB3A-417E-9E33-C8A69DD1F082","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944850$EF1BFA45-68E2-4BC9-915E-EBBB91E2AB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944850$3F2CF15F-063D-4434-AF2A-0B6B30BD4502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4944850$76A20346-B1D9-432D-AF2C-F830255BD5BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944850$94C45BAB-81C5-4FC8-9C78-A98AA81D8955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944850$50E1824B-E246-4FD7-ACF5-B1940B9BBB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944850$69674D7C-C1E8-490E-B32C-183C1E94C22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944850$6F0EC83F-1AA6-4A49-8451-030082E73CB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e90ee5be4421982fe214e8068d1bb3a388f34f37","datavalue":{"value":"1420786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944850$EA59A079-DBA5-41BE-BACD-9E685225D0C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0716749cdc66060ab2bf73d1869845d25fa1bc2","datavalue":{"value":"extensions of first-order-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944850$28AD7EAB-49AD-4A95-869B-E95A36B132EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1902c20ad22c3c28a2a7eff718fb6fdab039fd","datavalue":{"value":"identifying propositions modulo a given congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944850$9C4B4537-4A4C-4E9E-B528-2DCBDF0F8D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944850$CA2AEC94-A5B1-4592-B296-5251ADF9B166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944850$34D83D3E-B574-4221-8A38-C4E396DF2EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a91003eec20b6e040430743ad3336209f33dd0","datavalue":{"value":"proof normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944850$616F9786-47EA-4AD4-9124-D3EC88B24023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcaee20b2d9c9d3854380f71e500a694f76f764","datavalue":{"value":"logical consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944850$36536911-7A23-4DBE-AD53-DA154AC1FA67","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":"Q4944850$87A5D31C-AF1B-4263-8BB7-897317CD5545","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e209d4a21f34e0a088a607f6de8d4e53ccded8","datavalue":{"value":{"entity-type":"item","numeric-id":4365102,"id":"Q4365102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b57ffcc207e449817661a9c743506fcf8194e9","datavalue":{"value":{"amount":"+0.7564527988433838","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":"Q4944850$A4766642-2CEA-4DF7-9EE1-4DAEA35A7737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf17e61d643a7622b8007a855e61ce7449352d0","datavalue":{"value":{"amount":"+0.7508185505867004","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":"Q4944850$776BA604-D92B-4DBB-924A-8AB47488F59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4954822098b44a0eed7139efa793c9789ecb93","datavalue":{"value":{"entity-type":"item","numeric-id":1401983,"id":"Q1401983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc006a22808eb22c71cec2948397ab6dfbba34c","datavalue":{"value":{"amount":"+0.7327433824539185","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":"Q4944850$70CF6386-3DDD-465C-AEF0-1F94A87CA1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bdc79557cd2edf6ee29e757de8f2027807c5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4812323,"id":"Q4812323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f804944ce9d270f0626ffe31ee3cfbf1af787b66","datavalue":{"value":{"amount":"+0.724761962890625","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":"Q4944850$67A598D7-4537-451D-B0BC-5830CD6178D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f1a0ef4645d2bf4ef1332b9480367de0b3f497","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcb210f011884b07e99ea3d8493a13b7db5a922","datavalue":{"value":{"amount":"+0.7224441766738892","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":"Q4944850$177CA9DF-0EB6-4FF0-AFCA-7C32C406BB19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4944850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4944850"}}}}}