{"entities":{"Q5309602":{"pageid":7339176,"ns":120,"title":"Item:Q5309602","lastrevid":50180036,"modified":"2026-01-13T10:05:54Z","type":"item","id":"Q5309602","labels":{"en":{"language":"en","value":"A proof method for closed normal default theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5199144"}},"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":"Q5309602$8620D3E7-6246-4EFF-B6E6-68DE3BD9B25F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26b7da4bc7bd6ca917d6752b547e2966ae917874","datavalue":{"value":"1118.68660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309602$9B0BBF13-6456-4D4B-A805-DE4B591FDDD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1c6d1eb5a1881a1c15c479f8c9d6be5d5505633","datavalue":{"value":{"time":"+2007-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5309602$DB82B3A5-B36D-445D-BAD5-AD694C5D5EEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309602$338B2ACC-75BA-44D4-B213-0C444721ED4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309602$0F3DD3FD-F227-4801-9255-4CDB2C39EF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309602$191DFC49-E093-4198-9D34-FE1AE886DF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309602$B7DD60FB-493C-4C8A-9154-BA08ABC9F2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309602$204A142F-B938-4D3D-804C-595174BB6686","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc0a3a764c080d62d18ae5915c4e24182c89d3a6","datavalue":{"value":"5199144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309602$71A8E917-30D5-46A5-B5A1-3025A945158D","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":"Q5309602$3D8CB4E2-2C5C-4749-949E-AA3F13BD5528","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18995c6685f14fe308cddaecd54ff08c0321c2e6","datavalue":{"value":{"entity-type":"item","numeric-id":1924751,"id":"Q1924751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ee4fa5cd701de8a58b381fbf6593a2af0c7ddd","datavalue":{"value":{"amount":"+0.7782542109489441","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":"Q5309602$D1E7ECF3-CAE4-4E09-BA9B-4AD780AED4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa8ca0e808f9acb58dd9e1f0b033fc5cb9f44be","datavalue":{"value":{"entity-type":"item","numeric-id":6488558,"id":"Q6488558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d3d28df9b3a654b3eb47b2c71c78b4e800eb61","datavalue":{"value":{"amount":"+0.7461128234863281","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":"Q5309602$97952978-BCDE-4188-99F2-D6B9DC5B11BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84837260f6ac8ab76ba8ff04face93b6fe0c9f63","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2951ccc1c50a06be685b0d8f8d9723c99badcbdc","datavalue":{"value":{"amount":"+0.7433733344078064","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":"Q5309602$8F171D30-2A9A-4B80-8A26-C8083676D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71ce959e52f6733360c82358b365fa795eade8b","datavalue":{"value":{"entity-type":"item","numeric-id":5466122,"id":"Q5466122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f9b55b7a83880be1472107b6b237f648980ec8","datavalue":{"value":{"amount":"+0.7398242354393005","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":"Q5309602$FC559A36-4374-4F42-A2FE-FB64DE09A965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba64328f3da153bdc283716be23ad38fe863e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ac880cfa52952aa9a1f2cfe530e95f7743af9f","datavalue":{"value":{"amount":"+0.7355151772499084","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":"Q5309602$D3D56808-6C43-48EA-9657-BB1CFE6CB312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5309602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5309602"}}}}}