{"entities":{"Q3773879":{"pageid":5803785,"ns":120,"title":"Item:Q3773879","lastrevid":52182857,"modified":"2026-01-21T02:52:22Z","type":"item","id":"Q3773879","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033741"}},"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":"Q3773879$E53BB0EC-10B1-490A-B3B1-9B364CE7796B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b1721432e552b30078a95671ae22f1fc787fcad","datavalue":{"value":"0635.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773879$92AC4FEF-90A5-468E-9200-120D48B8BDBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b0df8cc476d314f14ae0e212e63b60a4094122d","datavalue":{"value":{"entity-type":"item","numeric-id":585197,"id":"Q585197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773879$627B056F-963D-4222-8574-574605ADD7A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3773879$66C94224-329B-4567-9E0E-852C92ACD771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773879$968A0793-16BD-4739-8692-B92E7E12F63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773879$996E84AE-4E04-4DAB-BE72-264A77D6EE36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b2bb90c49ee1bfb7cfb782512493b6952b003d5","datavalue":{"value":"4033741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773879$E0C55762-3CFC-498A-865B-221A12730134","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56766a0bbdd06f79e66d2f027452b7d279a8136f","datavalue":{"value":"Kreisel's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773879$F3D666B5-B214-41CD-A841-0303D299AD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04703d93fcc2b417d839ebeaf8f6eefe67a4744d","datavalue":{"value":"weak \\(\\omega \\)-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773879$DDE5C3D8-AED1-4743-AFE1-164821439C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773879$D5CCC220-8CDA-48D7-BBDD-8998F624CCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773879$28C9DD54-5445-472F-8F7B-273ED9D60F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548f2a0c8cb0d7ed5102da751139308480121184","datavalue":{"value":"Presburger Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773879$91921DA5-384A-427B-8F19-EA1100F39C61","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":"Q3773879$963C182F-9D2A-437D-8179-CAF5B552F5BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9286bdc07f848e4c4ce5c1530917dc5e507d5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3426567,"id":"Q3426567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc13ae3114d9ac067180e217badbfd2f6a06830f","datavalue":{"value":{"amount":"+0.8663861155509949","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":"Q3773879$5EF89FBB-D608-4994-883D-0F704F2FF611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f96dbd05ad84233c354d50f4becf29f2234803","datavalue":{"value":{"entity-type":"item","numeric-id":3399187,"id":"Q3399187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787888843ad6aca1ebf3c15f907fb6d9af72ebe2","datavalue":{"value":{"amount":"+0.8458177447319031","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":"Q3773879$B70B552A-8D7B-42A2-8092-E07304C35B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c589110c68473a92f7abc8e8208c2f9b21f94","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe501a29ace74c6cf3e343b9f69a2a4b309046e","datavalue":{"value":{"amount":"+0.8421121835708618","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":"Q3773879$989E1C45-3814-46C7-98FB-8BC3143EBE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550fc8df4cf4fa77c75470460399b99bfc536f51","datavalue":{"value":{"entity-type":"item","numeric-id":3140631,"id":"Q3140631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3635f0e84b626078dcea30a30d7b1a0cbf6e27d4","datavalue":{"value":{"amount":"+0.8232983946800232","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":"Q3773879$5068B6F4-66AA-47D7-980E-6C71EA5DC571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e250c9950b9fbb4fb32f1056f995f17bc1e86f4","datavalue":{"value":{"entity-type":"item","numeric-id":3788004,"id":"Q3788004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7481929bb2033aa9ca08b4320f9e6b5bb04f7fa","datavalue":{"value":{"amount":"+0.8168540000915527","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":"Q3773879$28EBB326-453E-471D-8386-AA4172450E7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773879"}}}}}