{"entities":{"Q1103383":{"pageid":1114135,"ns":120,"title":"Item:Q1103383","lastrevid":69648729,"modified":"2026-04-13T08:27:01Z","type":"item","id":"Q1103383","labels":{"en":{"language":"en","value":"An approach to analyzing the properties of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4052985"}},"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":"Q1103383$618EB655-9FCE-4694-A88D-80108AC267B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"974d977f038e536b6f970f4a7f600ed24893f9d9","datavalue":{"value":{"text":"An approach to analyzing the properties of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103383$A921DCD8-474E-4799-881C-24CBF38DC18D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55e72c162c6681f12ecad3db8b1e1409d7824c3d","datavalue":{"value":"0645.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103383$825F050A-723A-46C7-98E7-ABC0D2A866B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c50091b1acc34242e7d2f40c8e18de55a3e8c52","datavalue":{"value":{"entity-type":"item","numeric-id":1052817,"id":"Q1052817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103383$D826ECBB-DB99-4CEB-9D4E-DDB26FD1F747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4365647193ed4a3731f3f75096c7829a0ec73b10","datavalue":{"value":{"entity-type":"item","numeric-id":912595,"id":"Q912595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103383$0629BE55-DEC2-4F08-BA2E-9EFA428D4C57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103383$83079410-BC7F-49BF-AE4D-1088D69B9E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1103383$EA486904-E923-47D0-9A75-BC1842C63D15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103383$213D885B-F0A2-45CB-9B1F-18D50E6FE5BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"940448b5eef96d20f24458686e713f43ad43f08f","datavalue":{"value":"4052985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103383$E3DF7FD1-037E-48C7-9778-8B64EB0F9BE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103383$3393A2B4-510A-47BD-92A5-A173F5B14ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21c8cf6eed965bda0b0df4a01e20def43329bc11","datavalue":{"value":"global program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103383$30A96A44-DEEA-4B70-A4E7-2B0744F3F56A","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":"Q1103383$7A6F929B-45C3-437F-A576-89AC938D85CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdbdc9e92f62106777a01e7176cdb53ad66dcb7","datavalue":{"value":{"entity-type":"item","numeric-id":1856179,"id":"Q1856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84ef2bd1e1f3debecc1e73ec39bf4973501e6ab","datavalue":{"value":{"amount":"+0.7150654792785645","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":"Q1103383$4EB0B336-A622-4A5C-94DD-90B16B195CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab395ec9a8dee24d4a21b3a92081e92c64e10f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40c3640ca7d5cc9220dc31c35e62b4dbe9d9aac","datavalue":{"value":{"amount":"+0.713040292263031","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":"Q1103383$C5D75AFF-61DE-4909-864B-6094300A67A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a4a2c5503b34f5dc97f7e8ae90a0bc0ad24cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4517370,"id":"Q4517370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"296c076c6ecf30780b9d5b3ecd36e7ae6d75c7fc","datavalue":{"value":{"amount":"+0.7108578085899353","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":"Q1103383$93D5DF1B-CAAB-41AC-9C5F-FB4EC2A75A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c67139b4ac18816427719d0bd5d5f2d59bec3d","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b9b8b26a749c0244eeca6999ddb42e9f1e411a","datavalue":{"value":{"amount":"+0.703131914138794","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":"Q1103383$8F16F073-9CA9-41C9-B62A-7930F10C9BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6320963f02970319dec1a725502cc22d663fb018","datavalue":{"value":{"entity-type":"item","numeric-id":1905185,"id":"Q1905185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d483c069c1c887ae3c4d3cedd74d8c0c9f10859","datavalue":{"value":{"amount":"+0.696185290813446","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":"Q1103383$97516349-831C-4F81-89E7-ECDEA8E593A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach to analyzing the properties of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_to_analyzing_the_properties_of_programs"}}}}}