{"entities":{"Q3623948":{"pageid":5653854,"ns":120,"title":"Item:Q3623948","lastrevid":50640878,"modified":"2026-01-14T16:06:49Z","type":"item","id":"Q3623948","labels":{"en":{"language":"en","value":"Proof Tool Support for Explicit Strictness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547730"}},"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":"Q3623948$0F0FE2F7-ACD6-48EE-82A5-A010D734E5BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b57209259a5a1c0e66dfe4f244cb7b4e1917b815","datavalue":{"value":{"text":"Proof Tool Support for Explicit Strictness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623948$1C3973DF-A277-435E-A081-B2CA1FBCBDA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3a422e83faf197b645efff421d86f1d7cea6ce8","datavalue":{"value":"1236.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623948$7785C47E-DE3E-4056-BBB9-40807639018A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7cdcbf899ac72c1bba530d5c055015c2693526d","datavalue":{"value":"10.1007/11964681_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623948$19192B18-9DCA-4B85-9BC5-73B230359FC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b20443e0c0e944e5c0b4cc8d53f5c5f768c554","datavalue":{"value":{"entity-type":"item","numeric-id":617921,"id":"Q617921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623948$FBD392DC-9469-4D7F-A284-927183FB46E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63e47a0b518dc24883997e8f64fd82b097e1d815","datavalue":{"value":{"entity-type":"item","numeric-id":3599176,"id":"Q3599176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623948$1DCFD726-B64C-4417-BB08-ACFD0AAE7998","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"079a9a502d36bc50382ceab2d0b0fe42d20b24da","datavalue":{"value":{"entity-type":"item","numeric-id":2830046,"id":"Q2830046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623948$DB989276-80FD-44F6-A749-20FD4328097F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623948$033F7D6B-54A9-4F7F-80A7-B4652E012486","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623948$6B880F0D-96FE-4052-BCD4-06755AF9000F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"411cc1c91d45ff8cf9e39053e7a17ac8e227f98d","datavalue":{"value":"5547730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623948$D0D3FF70-8EB1-4E7B-A97F-4E826647FAAF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea69f7dbfd2a676b6524dd7bfd837316d1d269e","datavalue":{"value":{"entity-type":"item","numeric-id":21782,"id":"Q21782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623948$AEB5A6AE-CC1C-41AD-A38B-13E70C091C37","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":"Q3623948$815A6CF1-5020-4D78-BA7F-E5AE162DC254","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"876c69c1aaf312cb42f5dcc14b9be5900e6241b4","datavalue":{"value":"https://doi.org/10.1007/11964681_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623948$D54FCC0A-268C-4607-A113-D57C32CD9741","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"407288c6a445bde42d193c23e62354c4ac73e9f1","datavalue":{"value":"W2097149419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623948$AD094E20-6FDD-47A2-83DA-5C747A33FCD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0db75144307cf5012bfe768bdcd78455dd290f","datavalue":{"value":{"entity-type":"item","numeric-id":3599177,"id":"Q3599177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d6e5744954c68c29a6fdf1540775bc2c597d9f","datavalue":{"value":{"amount":"+0.7400684356689453","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":"Q3623948$BE3AB25D-102F-4937-8DD6-DAE8AFDD4A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1087657903b65039c78beb3de66c4e1c94e2108f","datavalue":{"value":{"entity-type":"item","numeric-id":4736975,"id":"Q4736975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e3d944ebf194daa78ce28d09771ebdec877f00","datavalue":{"value":{"amount":"+0.7364907264709473","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":"Q3623948$130F3504-E23F-4622-A9BA-B0AC2547D9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1280f280a64e80eaa88e74b0f388d7f8209ab64","datavalue":{"value":{"entity-type":"item","numeric-id":1749138,"id":"Q1749138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfaa6f4bc4a8962523ee020354ac188a5e46d933","datavalue":{"value":{"amount":"+0.7088885307312012","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":"Q3623948$CE457DB2-1715-49F0-A4D6-14E2AF220C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98863cb9a342a39ebd16a65a5ee79cc6fd137107","datavalue":{"value":{"entity-type":"item","numeric-id":3520168,"id":"Q3520168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699d5a14792aba6b16e7214cbe9bd337497544dc","datavalue":{"value":{"amount":"+0.7027730345726013","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":"Q3623948$3C5AF2B6-FE75-4F6D-A6F3-B3ACCD8A00F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3539e0b589113158c25ed7dcf2f752d442a5249","datavalue":{"value":{"entity-type":"item","numeric-id":656871,"id":"Q656871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d944f38ce63409604b7e73027747b30e755401","datavalue":{"value":{"amount":"+0.6996496319770813","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":"Q3623948$533E2C3D-3CCA-49F4-9A49-E1C90BA31B69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623948"}}}}}