{"entities":{"Q5094469":{"pageid":7124045,"ns":120,"title":"Item:Q5094469","lastrevid":54375980,"modified":"2026-01-26T17:37:44Z","type":"item","id":"Q5094469","labels":{"en":{"language":"en","value":"Foreword to: Special issue on interactive theorem provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566885"}},"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":"Q5094469$90446F09-43AF-409F-B27C-F81B55B52F6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61fc94838e3f2d5461dc0ba3a41be665a53153a4","datavalue":{"value":{"text":"Foreword to: Special Issue on Interactive Theorem Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5094469$D66826CC-7D6F-41DE-A74D-21ED19F4B72E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b28db6feb6b6de2a37fe6406f6ebcbbb885e97c","datavalue":{"value":"1492.00054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$CB6641CF-DC81-4238-B50E-7CE6767B7324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66e3c1104a20dffe6c6da15eb4e924f3901c5162","datavalue":{"value":"10.1080/10586458.2022.2088982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$B8188952-1974-4610-ADE5-EAB5A21451AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ce533b63d10b7f2de5da010e89f9963c037687d","datavalue":{"value":{"entity-type":"item","numeric-id":2706533,"id":"Q2706533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094469$37A2A86C-1F8B-4464-97E4-870813840C0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa016bb6723a582b7104f77969047fbd7302b4b2","datavalue":{"value":{"time":"+2022-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094469$0D352BC7-BD25-4D99-AE92-15617840BBA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$AC26484D-4213-4F42-A28C-56730D48A145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2375fd4b32d2eb23df347253ca68f523c20922c","datavalue":{"value":"05-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$02C505B2-8933-4FB6-8511-63CA9AAB240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68bee4c4ea67bf3d226faa0be962d8f284816ebc","datavalue":{"value":"11-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$E8A35C19-372E-49C8-8DCA-C4D2ED5871EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$7CD344E5-4063-4ECF-9154-4B72E8F467F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d7de6b6827715c6bff095d4ae986b73de6c7fdc","datavalue":{"value":"7566885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$7E10B5C9-62A7-42EE-879A-36C8B9F23FFF","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":"Q5094469$AB13C82E-F136-47AF-962D-036A0399DED2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e5f761300f20b96a9b27203e13a9566ad2d0941","datavalue":{"value":"https://doi.org/10.1080/10586458.2022.2088982","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094469$11611FB6-2BDF-4813-974F-A8F088242A9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55292a6f439ae49d7436ef1487edc0c3f810fbbf","datavalue":{"value":"W4283455599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$0D41482C-2C58-498E-97C8-A45219523A03","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aecbfc421bdfcb18a15e012058fd22de57f965f1","datavalue":{"value":"Q113850290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094469$72880B25-8FE6-4C63-96ED-BAD090A84AB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5cd105b44770aa835c9cbc85b4fcf5656f16d0","datavalue":{"value":{"entity-type":"item","numeric-id":5894305,"id":"Q5894305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c9b32ccd5b9977d68eb62945f861793b400e41","datavalue":{"value":{"amount":"+0.8635554313659668","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":"Q5094469$E10370D3-5FD2-4513-AD6E-6E274CE51AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2d401ee2c3a4bcc1deb76485d6fce7bc4a822f","datavalue":{"value":{"entity-type":"item","numeric-id":1961912,"id":"Q1961912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf38762f0ea232b5753286db8d3d6cbd17f2971","datavalue":{"value":{"amount":"+0.8056054711341858","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":"Q5094469$0903D53E-C921-47D5-9682-F6EE7208E18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037b94262abbb28a33a306f56774d69c11f09b03","datavalue":{"value":{"amount":"+0.804728090763092","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":"Q5094469$86D2150B-6079-4071-A177-8531D34C361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5dabfe38bf9861f1594acebb61804a83e5679a2","datavalue":{"value":{"amount":"+0.7602306604385376","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":"Q5094469$99C118C5-1333-4E0A-8A80-151DAE7A1B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd164c2702873418fe61e04cda522446e4f3c17","datavalue":{"value":{"amount":"+0.7555467486381531","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":"Q5094469$91B90AA2-1540-46AB-AF08-F59F691337C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5094469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5094469"}}}}}