{"entities":{"Q4222953":{"pageid":6252554,"ns":120,"title":"Item:Q4222953","lastrevid":46603089,"modified":"2025-12-25T04:42:36Z","type":"item","id":"Q4222953","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231630"}},"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":"Q4222953$39B3B56F-A750-4D0D-8B00-3F9A7AC334FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"107a54963c12152f20d492a5ab1bfe8c931fe3d3","datavalue":{"value":"0917.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222953$69823E55-F463-42A8-8E3B-9BB45C8C8126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b294a68ed8bb955f0c6a71e05a0e688382d76dd","datavalue":{"value":{"entity-type":"item","numeric-id":276487,"id":"Q276487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222953$A8289E54-7AF4-4225-AF0A-9518D84B1FBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3364335c75f2585241e96178e685953561bdbb","datavalue":{"value":{"time":"+1999-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222953$7274D8BF-19AF-43A3-A361-75D74BD0491D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60761a70faa292abaaf08907f470309396ba15b0","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11008","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222953$C2B371C0-D6F1-4853-9BFA-FEE0980F8E2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222953$76A26764-7245-4EAF-8917-3F6CA1EBA043","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73cb0dabb92cb1b80ec47ef8670b4d57ee59ef8b","datavalue":{"value":"1231630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222953$43756593-7ED9-4F71-928D-20C4F7CA48D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24abbfb61752cbb1ff99c1430a04f00791217cbb","datavalue":{"value":"categorical semantics of guarded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222953$875E2005-85CD-47F3-AD29-72442F5F6D23","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":"Q4222953$6F365508-EB52-48CD-83CB-04F6D4419EBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d78b07d74319f5838ee1b4b5d03a4cd9859517","datavalue":{"value":{"entity-type":"item","numeric-id":4589616,"id":"Q4589616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdcfbe099b01fa5c24dbd2618fe334daf096a44","datavalue":{"value":{"amount":"+0.7578670382499695","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":"Q4222953$EF67F6B6-E291-4A0B-B3EC-D78F0A5A650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77168cabc5174e77410c253f991d7f9d9a80ddd","datavalue":{"value":{"entity-type":"item","numeric-id":4992899,"id":"Q4992899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8630bb6aede195e28e39f78ee41264a82ba7ff","datavalue":{"value":{"amount":"+0.7499464154243469","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":"Q4222953$76D35804-5439-4BDD-AB0F-E768CDC1DF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6922a340f259f222c652fb9237b5b015ff20319","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e4890a389e099fd0915d6f4947a6228b12a168","datavalue":{"value":{"amount":"+0.7448989748954773","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":"Q4222953$68516264-12A9-41AA-BBE5-A82D367B0B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23015e6f0579075a1662fde7a45c473e6523d1df","datavalue":{"value":{"amount":"+0.7329983711242676","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":"Q4222953$9E7D50F0-025E-4C36-9502-5A71AFC6C75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9958f89b062938f7f37371edf00e9ff80ddce2c5","datavalue":{"value":{"entity-type":"item","numeric-id":4499309,"id":"Q4499309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9d056a614a9cfcf73a066ff2ff3ec0423d40e1","datavalue":{"value":{"amount":"+0.7317880392074585","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":"Q4222953$9034A5BC-1D1C-4598-A543-F418E3EAEF0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222953"}}}}}