{"entities":{"Q4012153":{"pageid":6041951,"ns":120,"title":"Item:Q4012153","lastrevid":55174135,"modified":"2026-02-04T10:30:43Z","type":"item","id":"Q4012153","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67437"}},"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":"Q4012153$08DE29C9-6633-41F7-8588-C0F9C777D2EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00772e4350cfee63d0c37f9bd93fb2eefb2db2d3","datavalue":{"value":"0744.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012153$3B7FC812-D2E1-4307-B230-A96076C41201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c86652c89242c7ec839721b17ba2b862705e881c","datavalue":{"value":{"entity-type":"item","numeric-id":4012152,"id":"Q4012152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012153$4548DE4E-6463-4DC0-9235-30293F4F0285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012153$DF23B65E-5567-4E0B-BF04-7CEECF517DFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012153$3045F0B5-DBF1-4CA8-85BA-35E189286631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012153$ABF0A882-D66B-4391-9FD1-5552F3FDAA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012153$8DA3B0C9-80E5-4DB2-8949-0DB676802A0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb3dfbfd95b1ea9605b3848bd41b7197c1e75b7a","datavalue":{"value":"67437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012153$949E7701-30A5-44F3-AB2D-CB5BA558DB67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c03857df1ec94da5baa25822935f039be61c52c","datavalue":{"value":"automated analysis of rule-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012153$AD7931B6-192B-46BB-AF96-C96399BCC8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f0fbca72aac9d014190cfcd9bd2d969211741d1","datavalue":{"value":"abstract interpretation of production systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012153$EAAEBB0A-C1E0-44E4-8217-D1EEDA5522A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39a71164ea16d38dc73f4fb67f855edd81c3230","datavalue":{"value":"AbsPS program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012153$5EA29E17-1CA2-49BE-AE0F-EAD508FDFDAD","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":"Q4012153$02D28709-EC9E-4FB5-AEAE-CF603A080F02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"236459c8fa1d348e6b4f1f296255fd5a3b74656a","datavalue":{"value":{"entity-type":"item","numeric-id":4251527,"id":"Q4251527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6bd9f7a7702480cfcdcccf2fe79f909b25bb40","datavalue":{"value":{"amount":"+0.7177863717079163","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":"Q4012153$C5378D50-ADED-46C7-ADBE-AD868380EABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caaa48cfd765c7533816fae44b04dfb9b4cfb4ac","datavalue":{"value":{"entity-type":"item","numeric-id":4511272,"id":"Q4511272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af065395ce97fc44ccff562823a65cc0e11020bc","datavalue":{"value":{"amount":"+0.7167796492576599","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":"Q4012153$3FB62483-A975-4A59-BC17-E6CD2A36F146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5b327d8cb1e7bbd58999f68f09b0b4d2b2fae8","datavalue":{"value":{"entity-type":"item","numeric-id":3983122,"id":"Q3983122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8ff64788309876102494a4bc5b57de13de2be4","datavalue":{"value":{"amount":"+0.7076273560523987","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":"Q4012153$892E78B8-85D7-49F9-972A-49102ED2EB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad404d693976b3e1dbc8bd65102b64c62bc5e9c3","datavalue":{"value":{"entity-type":"item","numeric-id":818319,"id":"Q818319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd18bf88d0a4f59a3e7f57515b8184e9bcc66559","datavalue":{"value":{"amount":"+0.7061709761619568","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":"Q4012153$18A5EBCE-DC2F-40C5-9F60-5F021AC7CD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897a0d74130bffd660128a6582f91944106428f6","datavalue":{"value":{"entity-type":"item","numeric-id":2738998,"id":"Q2738998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68968f3599c342008414adcfe8680ae34b2647d7","datavalue":{"value":{"amount":"+0.705112636089325","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":"Q4012153$60DFEC01-A3AB-40AD-802B-880920FC7047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012153"}}}}}