{"entities":{"Q3780489":{"pageid":5810395,"ns":120,"title":"Item:Q3780489","lastrevid":52353977,"modified":"2026-01-22T10:43:51Z","type":"item","id":"Q3780489","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4043302"}},"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":"Q3780489$BCA9DC1A-ACA7-4177-8544-5AC7BBE95CF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5641db819a187a0605aca0e38d1c4ae200b01c","datavalue":{"value":"0639.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780489$E9C861BA-EC18-4C36-9596-11CDA91C248A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3780489$9296EC26-6CB6-4067-B1D4-8E43D038528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ac9c63c2cdbf4ce92bce8d2c1115302276651f8","datavalue":{"value":{"entity-type":"item","numeric-id":1166918,"id":"Q1166918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3780489$DFB3AAAF-4CEF-4F52-B140-EC5989003B26","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":"Q3780489$6A30E580-FC95-4EF7-8EF7-E61FB34712B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780489$4596CD23-C127-4E55-A637-FD7D4C389793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780489$D9C51477-3CDF-44C8-87CC-0DADFFD2A85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780489$AE2710F5-3A3A-4396-B760-7E5E58944ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780489$FFF25FAB-9CBD-481A-B565-230A30284CED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad3555c6cd9c65b3c4a261bc7b24beace2d5f69a","datavalue":{"value":"4043302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780489$108C4BA1-FB76-4E66-B21F-F107E774846A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c51858518fa9e2a015bee8f5287d38bcd36f635","datavalue":{"value":"many-sorted logic programs with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780489$20A841B8-E692-40F4-8011-DA325FDFD857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780489$96906DD0-F034-4B2E-8C58-9F2915158D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780489$AC67B772-007D-4632-A7E1-6E47E10E758D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780489$B7B992B0-E445-4F13-A97C-77BE3E95E275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c72fbae11587115aa139dc8503dfe060d49eb39e","datavalue":{"value":"equational Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780489$5E16F098-CCC5-48A0-9508-7B86554F655D","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":"Q3780489$C595112B-BEEE-4FAF-A67E-DD02350A0734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f55a60addaf155f5c21794603291dfa94636384","datavalue":{"value":{"entity-type":"item","numeric-id":5903118,"id":"Q5903118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e2dd78298bcc3761ecced6940f4774c8dc38c2","datavalue":{"value":{"amount":"+0.8379700183868408","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":"Q3780489$CA4B1116-7EBB-4B25-AE7F-3AD7D9BA07C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e85b3b860f0bd64335101ac0621aa3c3f2b0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3768368,"id":"Q3768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fc09f2dd1dcfe3a40f474633c38b936d1d2611","datavalue":{"value":{"amount":"+0.8371414542198181","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":"Q3780489$45A82995-E32A-47EE-9E77-912B3C99C080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3a2a87b342bfe34b4861569582dc0ccb475a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2de61b474b0ecd6f3128d3456c59e144ac7a5c","datavalue":{"value":{"amount":"+0.836566686630249","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":"Q3780489$3497C816-A006-45BA-9292-E25770F12764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e902373a693ededd72cfd16c570cc5f6e65e6bd","datavalue":{"value":{"amount":"+0.8301791548728943","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":"Q3780489$5870BB77-5C73-41CD-8794-CF386807B7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800b33503bf23fce7dadc5b80544bd7e90f11f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6534d20e800b01fcdd01bb5ad750b29ed2c69c1d","datavalue":{"value":{"amount":"+0.8248563408851624","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":"Q3780489$B04084D4-F885-4BE7-AF01-8981F736E56A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3780489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3780489"}}}}}