{"entities":{"Q3795207":{"pageid":5825113,"ns":120,"title":"Item:Q3795207","lastrevid":52967753,"modified":"2026-01-23T22:33:55Z","type":"item","id":"Q3795207","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4060701"}},"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":"Q3795207$381421D2-CBB5-4015-8080-9D018BB0F7FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c7bb5746ee21c2a8d057e6f9e3682b8815435dc","datavalue":{"value":"0649.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795207$55D7C7D5-1BAD-4E64-96FA-EA7F365CFD74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795207$34B05462-7E44-4259-AD49-A00BDDB29131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795207$695D251E-49D8-43C8-A3E6-0368FDD12941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795207$7164677D-08A9-4130-88FC-ADF51F4C95C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3795207$54360140-0BC8-40B5-9E63-FFA3068763CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795207$16BBCFAE-CBB7-4AD5-8BBC-5165DDD61EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795207$8855DD54-0243-46E2-8344-8A4BF1C535A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795207$1FA7DCBA-FF58-40A4-9FA6-66A70A1D8712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795207$DD4E5D61-633F-45B3-8A9C-4A7FD6553189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7841ed810f846b9172bab7777e28a9e06b59923","datavalue":{"value":"4060701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795207$77B03B59-037C-4480-9483-F19B3D4C7E26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ecf13925b18cb57041a4b2e98c1dece3bf6f5a6","datavalue":{"value":"logical programming language OBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795207$E9AD949A-653C-45B7-8F15-4BA9AF74874E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795207$3C60A306-03D7-430E-BA72-6FA8C90BFCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb40407ee82a936477220c4442becd1f17199ff2","datavalue":{"value":"order-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795207$19D32D17-21CD-4D2F-9F09-3D837018A94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a504a975642bf7fb3cd9be0dc0ee619142f69d","datavalue":{"value":"equational order-sorted rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795207$76C5F079-2F2A-4BA1-804A-D800C692D528","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":"Q3795207$42577AE1-9D08-485E-8C63-14BEFC9E6D8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1b0e9aefb4af35c74cda028321898f56003854","datavalue":{"value":{"entity-type":"item","numeric-id":3817573,"id":"Q3817573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24271d93587468bc4ef9fff92dc1015c135f612","datavalue":{"value":{"amount":"+0.8082448840141296","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":"Q3795207$7A2544C0-63FA-4140-B709-484D32A2320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46bb2b8f73343bd9cb6ed10463ea0f250277677","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a27a1a117e3b26c0f6a5c32ac8d9ffeb74b4e56","datavalue":{"value":{"amount":"+0.7814203500747681","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":"Q3795207$2802C772-999C-4094-88A7-C4B849A6A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec078045241b76378443871480db39de7113a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3992232,"id":"Q3992232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9908ce5f147b042e9ad33ccef19d70d35f754d6e","datavalue":{"value":{"amount":"+0.7619550824165344","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":"Q3795207$A9FD0E3C-8F1B-4486-8136-273A1928B93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5595f3a2c4c08511272b3232defafe1b37ab342d","datavalue":{"value":{"entity-type":"item","numeric-id":1185014,"id":"Q1185014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54ba7571fd6c3f5e5c041310e112e95c641f53f","datavalue":{"value":{"amount":"+0.7456784248352051","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":"Q3795207$9DE1FB15-E511-46D8-B54C-C6D8027275D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b04844e17eaf8e213efd46faa6d41e6de83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1264441,"id":"Q1264441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56b5476288cc7e2c74221c4977f8b579019b90a","datavalue":{"value":{"amount":"+0.7440855503082275","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":"Q3795207$F5F7302B-8DAF-4B9D-81F0-E4656ADB4C37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3795207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3795207"}}}}}