{"entities":{"Q4928436":{"pageid":6958018,"ns":120,"title":"Item:Q4928436","lastrevid":51744707,"modified":"2026-01-19T19:37:22Z","type":"item","id":"Q4928436","labels":{"en":{"language":"en","value":"Foundational proof certificates in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176207"}},"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":"Q4928436$5CDF41CE-217D-4BA5-BF2E-2AB379ADB573","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a121eebac5ae7856a9db585765d7d79eefdca9fb","datavalue":{"value":{"text":"Foundational Proof Certificates in First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928436$9D42AF44-C7FD-4EDB-8720-58A9647A6C18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eb3272eab380d2e56774b5904fb135e13efddef","datavalue":{"value":"1381.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$0792E6E0-E781-4F50-9E39-8D2C4692547A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d1b6b94d02f5e86795cc4c5c2d6f4086baa85b9","datavalue":{"value":"10.1007/978-3-642-38574-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$3302024A-3673-464D-822A-288D3F671BC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"495bd453d2d6e10cd3788ed67766c12e62edf4bb","datavalue":{"value":{"entity-type":"item","numeric-id":1701038,"id":"Q1701038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928436$9537588A-DCD4-4456-ACF2-5F7F5526346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f4455fd66c2c1c86690ed0fc5802239887917a3","datavalue":{"value":{"entity-type":"item","numeric-id":654906,"id":"Q654906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928436$E2EBFB72-1651-4266-95EA-9AAF417050D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928436$934291C9-DDE8-479A-A44A-03BA5F29B897","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928436$AEB8C019-D2BE-4E3E-A302-8F91514B595C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928436$02477E23-AB99-4A25-94F2-F433E50CE5DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$8E066B98-FDA2-4C90-BC51-768B0ED7D227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$A731D7A1-4AAC-4ECD-9EF0-9B37C269842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$1B5CD78D-0807-4593-B77C-167D3E30D7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$C5D5B231-E2B8-4BE4-A989-9C4E4E1DE9A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9950b5eb50a08ca7e790b1726ed77d3446ce5353","datavalue":{"value":"6176207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$4E9834F3-C96F-458C-832A-75C7083A803B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928436$2C68A398-859B-4E87-9259-B242BDF65805","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":"Q4928436$24E9AD18-E6EB-4608-B5CE-A46AC5F949CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6186bc82b5c482a4420bbaca0d026930637b7838","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928436$F5CA314C-7391-4146-98C3-81189809EDDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37b6e924b227d1a06fc31b83b81f1702e49167ce","datavalue":{"value":"W107224311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928436$3E9D0E71-AA2D-4BCB-9A80-48B7E7C30A22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20aa566d303f8a7cbed4b248ef424c69af84ea","datavalue":{"value":{"entity-type":"item","numeric-id":1701039,"id":"Q1701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04dbde1536843af13fabe5dbc5803ddd4aa87a15","datavalue":{"value":{"amount":"+0.8686938285827637","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":"Q4928436$1AED6A60-84BE-4823-9CCD-C3B29CCB81F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1b97a6f9d5931d17692b9da0d3db3bb3213cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3455771,"id":"Q3455771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eedc749fdb7fc079e92ae039dc5a4e30f90af1f","datavalue":{"value":{"amount":"+0.8243718147277832","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":"Q4928436$CBB188CB-1814-4C75-A97B-5CB0A8A4F9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07872e17cbd8fb2c473beb6e6b6ada8630ba4ea","datavalue":{"value":{"entity-type":"item","numeric-id":3100201,"id":"Q3100201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d4baf53bcb89bb7c3394619405905988e570c5","datavalue":{"value":{"amount":"+0.819133460521698","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":"Q4928436$B783184C-2442-4032-BB03-67B6732A6F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41822ba37941805790e9423bf6bcd57cefef48ac","datavalue":{"value":{"entity-type":"item","numeric-id":5271422,"id":"Q5271422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204a32ee95e1e2700337c3a560992a415d9ad3a2","datavalue":{"value":{"amount":"+0.8022190928459167","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":"Q4928436$F524DB68-C672-43DC-AD65-6E3CD650D842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9b5012603b04de84a2a78209b6e96bbb70cf08","datavalue":{"value":{"entity-type":"item","numeric-id":2405254,"id":"Q2405254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2b6a55b37f38f3f1ae3f5aa1a5d2043ca5ff03","datavalue":{"value":{"amount":"+0.7825219035148621","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":"Q4928436$15AB9D6E-1E3E-4129-91A6-19242AF20CD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928436"}}}}}