{"entities":{"Q3318751":{"pageid":3329459,"ns":120,"title":"Item:Q3318751","lastrevid":48688504,"modified":"2026-01-05T15:05:01Z","type":"item","id":"Q3318751","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849202"}},"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":"Q3318751$FDD1613B-3510-4C6A-86AE-EE6AAA6522B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7266f60da143b8ca1faf2ab0f0a215e6bf97623","datavalue":{"value":"0535.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318751$A5441C1B-98BA-43E8-8711-3D69A5C4AB09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7633c8decbffcaba5696cdb6b7ef793253718809","datavalue":{"value":{"entity-type":"item","numeric-id":911573,"id":"Q911573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318751$32CEF64A-8A9C-4A09-9EB4-188B5988716E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3318751$A0BAC4B9-DC82-4455-BEA1-F02369ACB22C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318751$A13D7879-0143-4946-B255-7E66EA15C7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318751$5C31F178-4AA1-473C-BA5B-6FED77221A70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dff41a56811137b949252f105ae5c979b191149","datavalue":{"value":"3849202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318751$6506B2A1-111A-476F-B361-2849379DB577","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda86e0ffdf0ed711f6bf6bd5affbdb5b8eec799","datavalue":{"value":"epsilon theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318751$3C652F3A-418E-4644-827B-670FDD3083A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924be5b91d1cb012fadfc7e5569c11e72a916d8d","datavalue":{"value":"elimination theorems of uniqueness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318751$C2E5C5A8-2689-414C-AAF9-CF097F053660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59af15ea010a801b5df83d78fefecdd883b86b","datavalue":{"value":"intermediate predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318751$7A88CCD9-ED53-4246-8587-2E6AAB7EE7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c8b6e7a7a2eed2911038a411da4ae9e9cf8aa9b","datavalue":{"value":"classical first-order logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318751$DA4D154D-02B3-4A23-B9AA-2DF15CA37BBA","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":"Q3318751$82A174E8-D141-480D-8F97-A5D4C495BBDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510ba6a8d4d154adf8199607b7fd0b99848202af","datavalue":{"value":{"entity-type":"item","numeric-id":3309833,"id":"Q3309833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7a507c30118dbeeda35e0365b63024a8bc9bfc","datavalue":{"value":{"amount":"+0.8495781421661377","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":"Q3318751$54F8632B-BA18-4335-BD92-D296142F683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def71c43857b10f82848d8b1bfc16980b41e5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3469101,"id":"Q3469101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bd59c0c2d8039050d29a0263bd723ea4380eec","datavalue":{"value":{"amount":"+0.7599687576293945","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":"Q3318751$2CC52E96-9F4E-471A-96F0-A3A455CDD93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d982448dc96e8c77f91ea59f0666b2630af1483","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb17db3d34b7f4f752e87f1315e863f78e01310","datavalue":{"value":{"amount":"+0.7545253038406372","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":"Q3318751$8513F164-E05B-40B0-A1CF-9E3DFF8A888F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7285d82b6f7383b8ef474918fa4ac4a0e825901f","datavalue":{"value":{"amount":"+0.7467911839485168","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":"Q3318751$DD7361A9-7214-4F73-91E6-7B9208D1FA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cf88dca38a8745200a0d4e0453412dffcafb03","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b21e0341f7e6265b7fd3459f6d8b5d08cd5f28","datavalue":{"value":{"amount":"+0.7420794367790222","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":"Q3318751$FA55CAE1-F4BE-497C-B988-B63A05A20F35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3318751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3318751"}}}}}