{"entities":{"Q3795657":{"pageid":5825563,"ns":120,"title":"Item:Q3795657","lastrevid":53029490,"modified":"2026-01-24T02:04:35Z","type":"item","id":"Q3795657","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4061209"}},"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":"Q3795657$7BE403B3-6C1A-4A8F-A1B2-0018D4F6A28D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b055b087efef5d364cabe3b7b034ef07be8c44bd","datavalue":{"value":"0651.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795657$B6290875-0547-488D-BF09-981635257C28","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":"Q3795657$06E7715D-23D4-4279-B410-DA7F64883626","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795657$021A6DD0-1783-4DD3-A7A5-30FD6ADDDBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795657$67AF280E-7142-4D56-AB44-FD6E2488333E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7504114012b3b0cc9bafaf8397485e0ba59cd6b0","datavalue":{"value":"4061209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795657$C48683EA-12E0-406F-80FA-C8526FA95E23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab7e7a8504a9cf0ee57d2716d946a93d4001be6","datavalue":{"value":"relatedness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795657$319E1126-3CE0-49C1-9098-EF3E01F64B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795657$EFC98140-F940-42EB-8B1A-D0679C0ECCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795657$0CF83400-A38F-42FB-986C-4C1370746B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795657$4A485E6E-F02D-4B55-B43C-1BF1C2A9A403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6530c498619cd3028153a2779750e468b543fc5b","datavalue":{"value":"syntactical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795657$3AD09E9D-D196-4E88-A678-7B92AE5909FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ead758945e42704eb2373295bd8b7b05f66d65f","datavalue":{"value":"proof-theoretical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795657$A84A48AE-66BE-4232-947A-C220BFDFE0D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795657$C2026006-B006-4BCC-9E7B-A5DD932DAA9A","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":"Q3795657$56D90B01-7E16-48CB-B3E4-D1B98A5F5613","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7270d292700fb20a7efe32053220c0df1ef5bb","datavalue":{"value":{"entity-type":"item","numeric-id":3367503,"id":"Q3367503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34ba09275f2ecdfe4e2f0aa8e2893176bf2de11","datavalue":{"value":{"amount":"+0.86357224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$86DC882D-3268-4078-ADFD-8452B69207B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91371c2d81dcce4f9e1ce57ef990eb84393b3837","datavalue":{"value":{"entity-type":"item","numeric-id":4305343,"id":"Q4305343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f8ecf8b173ef16f76cfe23b5414e59435f843d","datavalue":{"value":{"amount":"+0.8422605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$8FD4DE10-FC0E-43E8-BCFB-93580574EBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e352772a07b5bb49c614dc2b0530f7e98215c3","datavalue":{"value":{"entity-type":"item","numeric-id":6043014,"id":"Q6043014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cd6ae61bf72c845593ca96424c299fd86134af","datavalue":{"value":{"amount":"+0.82064134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$6F56487B-F37E-4468-8BE5-3A391A12ED5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78cb4036cc18362bb6d9208613cd7c5e7c8a2daf","datavalue":{"value":{"entity-type":"item","numeric-id":5066087,"id":"Q5066087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4764c1c94908e62bf9cc7f14d8e91acace5133ce","datavalue":{"value":{"amount":"+0.812105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$A2C22B16-AFFF-4C5B-903B-9AF6B231590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1dc426adc2cf162971be3d8416e57ecf97d756","datavalue":{"value":{"entity-type":"item","numeric-id":3795656,"id":"Q3795656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed39dc6bee80244356e28d7b8b021947319fc4d","datavalue":{"value":{"amount":"+0.80844635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$0452C4DA-DD29-4667-9F3B-0D463F391A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b5daf584cead5071fb1b78d9807cf29afe7c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2086530,"id":"Q2086530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb038f42ad0326f8fc35907409bcf46170a2daa5","datavalue":{"value":{"amount":"+0.8081498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$A3EE5070-89C9-483C-A5EB-E1A158A3DCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744d3fbb323b8cd1f9bebbe80a82571cd3586676","datavalue":{"value":{"entity-type":"item","numeric-id":1900219,"id":"Q1900219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b793399072cc1855b164b27b4df3249164dfb65f","datavalue":{"value":{"amount":"+0.80004394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$94A3BE67-00FA-4221-956B-8BC0607350B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa4bf8b962a592639d5cf21baaf11ea8a53b774","datavalue":{"value":{"entity-type":"item","numeric-id":3777991,"id":"Q3777991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84490fadc36a432ec981a111fa45d681d188eca5","datavalue":{"value":{"amount":"+0.79980737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$F34FAD29-DABE-4B48-8278-D9E8B54CB60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b7d8ebea3b9f959b55c8385ac0b67901ec481a","datavalue":{"value":{"entity-type":"item","numeric-id":3755432,"id":"Q3755432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11456e0fd1c5cbf0fa00bad0ca94c0a2928c6856","datavalue":{"value":{"amount":"+0.79838073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$96446D3E-9D4B-4A6B-8C30-AB7B757D0F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d7bcf9a462673a7f72c47f1bdf48905c47ffe7","datavalue":{"value":{"entity-type":"item","numeric-id":3790683,"id":"Q3790683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0325e3d3433e44b1b40e227d36ac972c7f887025","datavalue":{"value":{"amount":"+0.7980434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3795657$D1AEFB50-6C3F-444B-A7EF-679A9603A9D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3795657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3795657"}}}}}