{"entities":{"Q5224787":{"pageid":7254356,"ns":120,"title":"Item:Q5224787","lastrevid":53486612,"modified":"2026-01-25T01:06:45Z","type":"item","id":"Q5224787","labels":{"en":{"language":"en","value":"Monosequent proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7085033"}},"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":"Q5224787$8247787F-2F75-4E8A-9AE9-AAFA22022D4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1204c8ed7498e8c9a81c55fc72601f0898f283fd","datavalue":{"value":"1418.03167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224787$50F17F99-6B4F-4B50-B27A-03DAD8F649F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc7d8b4f321b37e5a358e033a174600e8e846dc0","datavalue":{"value":{"entity-type":"item","numeric-id":190263,"id":"Q190263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224787$F9766B71-1817-441C-B117-0E33F5780381","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224787$523108A3-4A9B-4849-95FD-58501231D586","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224787$4A7D7403-BF03-4666-B776-44773E25121C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c0a0ab5b741c702ffc8b689d3d0931212690bd4","datavalue":{"value":"7085033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224787$3F90BA00-DF97-44BC-8B69-132FA4A53437","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":"Q5224787$8B0E60C0-9A18-40CC-9BC7-D551382AFC2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a130900d14ac9ffd5ddf12e923ff261137dff8","datavalue":{"value":{"entity-type":"item","numeric-id":4828877,"id":"Q4828877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411703c22c9b51bcf4eaab151dd62ef403c9405b","datavalue":{"value":{"amount":"+0.733475387096405","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":"Q5224787$379B1AE2-1091-4F58-8287-6FCD96E1A41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa37154f691b585519e97168b6425215bbadcc67","datavalue":{"value":{"entity-type":"item","numeric-id":5149063,"id":"Q5149063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958ad4cbc43d2681d01b86581ea40f3c2a614fe8","datavalue":{"value":{"amount":"+0.7315084934234619","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":"Q5224787$5479B0BB-2B3B-41F5-A742-8BF665D703CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec36d3999143771f5f3c520416695cda36ba0c","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e9632d607a05beca8ecc3bbaf78114b7d13825","datavalue":{"value":{"amount":"+0.7250367999076843","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":"Q5224787$F9DDD856-36D3-454E-84B3-0F1F6FAC01EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0b6ba2bf2112774fff2f92126e35c32fa573d8","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a2032b0f6b90bd6e5ee701816f11f54bc8cbf0","datavalue":{"value":{"amount":"+0.7239705920219421","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":"Q5224787$EB166AF0-43F1-4E9E-AC84-0F383340B1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94436a0a77dc5d5eda661825edea2e1745be8dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5460205,"id":"Q5460205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a2032b0f6b90bd6e5ee701816f11f54bc8cbf0","datavalue":{"value":{"amount":"+0.7239705920219421","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":"Q5224787$EC0E2C54-DC08-4641-BE77-A7A75204B879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224787"}}}}}