{"entities":{"Q4400799":{"pageid":6430398,"ns":120,"title":"Item:Q4400799","lastrevid":40795288,"modified":"2025-04-04T18:00:31Z","type":"item","id":"Q4400799","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1182727"}},"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":"Q4400799$5A36638C-D1AE-4D2A-9EA9-3F4CC900BC5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9a44a2cd485a25f19d610afe4516e793fcdc588","datavalue":{"value":"0905.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$AE09834A-31BF-450A-B20B-5D880DF324C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a27a41937bbb3263387a727fed3120f5bc4b0f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1400301,"id":"Q1400301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4400799$D0460B7D-91A5-4F9C-A221-77BD55C828CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fba0cf8f85f7b1ad95f7e924756131fda6f2c74","datavalue":{"value":{"time":"+1999-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4400799$0C9E17F2-C551-4A3A-90F9-6B49693555D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$B428E28F-FC27-4F44-A816-48DA1AF9D088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$2FA8892A-13B0-41E1-B5CB-54D124210291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$D3673D3D-FAFE-425D-8D8A-F704E4038ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$E5064BB5-7708-42EF-AA47-9C87D3FD7480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$65428AE1-F1B3-4296-9F22-9D585EDA7834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$4D798EE3-4979-4EFD-84B0-EE8079484F20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddc96837b34e5fc0367afee28d5ba5aeda88a30d","datavalue":{"value":"1182727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400799$DB8E6DC3-7D79-4262-8291-7E98A62EAFE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$79D433CB-A066-4F47-BD9E-D13A71396701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$256D5733-9F1F-4F95-9059-8E8A7BA02267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$3A856D6A-8728-47D6-B305-4F2B022A6633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$B0D1A557-A47E-497C-8D2F-0C2C9FA4A960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$8C4FCC0B-AD7B-4FE4-9837-40B8DBBDC6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1df1e4cec5a12a4bce91d02d3fff169aeb76c9e","datavalue":{"value":"Kripke-structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$0ABAB5F2-065A-4B65-A313-92DEEDF2A6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$A27A69B5-2F23-42FF-B3A4-88E8B7CE6214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5134317686b74f8a650be265929528747763b7","datavalue":{"value":"formal foundations of logic programming and deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$8708F2C2-A77D-403D-B07A-78D9714A29BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$62D5CB4C-CDC4-4D52-BC84-7F5B0DB6FE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$1725F04A-9ABE-4EC1-9843-7FB4D1A23F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$F50331C4-C0A0-43AF-BBD6-274A079C4D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400799$0C482B81-3E3D-40F9-8797-65ED5819E04C","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":"Q4400799$4C45D8C1-7703-4A89-9430-6B02A1133BAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324f509a4b371aadf4dd10ceb6d156e6742744af","datavalue":{"value":{"entity-type":"item","numeric-id":5871907,"id":"Q5871907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74cdd30a758b9552a174210b821f96bf10828fca","datavalue":{"value":{"amount":"+0.97437185","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":"Q4400799$FB3A3CF6-2BF6-45AD-AB57-1BCA9966E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab29384224999d3198c32891f52a78045691b840","datavalue":{"value":{"entity-type":"item","numeric-id":2736597,"id":"Q2736597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5e58c9836ce77d151d2182a3510050889bfb6a","datavalue":{"value":{"amount":"+0.93585116","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":"Q4400799$AF345E39-B8CF-44C0-9B14-F09E2617650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c43fdf8a1f65c82f781fee64d5d83fa27bfd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3083096,"id":"Q3083096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3bd1e2685ffa2bc1f63d5873dd0a52e10f3755c","datavalue":{"value":{"amount":"+0.91478306","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":"Q4400799$D55D40F2-487C-4ADD-89AD-D85DAF2CD0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac7b940882adcd401c088d20034076e7f6f957b","datavalue":{"value":{"entity-type":"item","numeric-id":5471129,"id":"Q5471129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc41ff8cc146b50a997a196482fee20de88494fb","datavalue":{"value":{"amount":"+0.9140896","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":"Q4400799$1CEF70AC-1B8F-483A-BAD2-1CC96422379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0004bc7d03c861ca5d138fff824476c6f749b6","datavalue":{"value":{"entity-type":"item","numeric-id":4589256,"id":"Q4589256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d6835251b93571638f660665557cd26cfd0be8","datavalue":{"value":{"amount":"+0.9039259","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":"Q4400799$C76ABF24-3D2E-4E3A-B7BF-FF217DC604E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da42007258f0ea5c11c75b97cb79174a97a50af8","datavalue":{"value":{"entity-type":"item","numeric-id":3829528,"id":"Q3829528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabd58401b883a31798dab32e9777f4011009718","datavalue":{"value":{"amount":"+0.9020382","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":"Q4400799$95BD7F3A-7071-4F83-B7F0-75B4B4A774D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d757d23d8b6bb2b455de019f5c3d220cadf444c","datavalue":{"value":{"entity-type":"item","numeric-id":4582006,"id":"Q4582006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee5a704ea08f9590408bb952307b7ae8e00c7bf","datavalue":{"value":{"amount":"+0.90120435","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":"Q4400799$8388E4CB-E718-4A04-B109-32E7334143FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdfb031197c0e0b6b7404a56aab74ade9923ec22","datavalue":{"value":{"entity-type":"item","numeric-id":2843868,"id":"Q2843868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ba4fa5aa5bcb035f1ea1ab5bb2c43696ae04fd","datavalue":{"value":{"amount":"+0.894203","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":"Q4400799$4F73BD38-7F65-4895-9D9F-A40C0E528D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612e4d6fbf75709ed96d570758d5c877fa16107b","datavalue":{"value":{"entity-type":"item","numeric-id":5313370,"id":"Q5313370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ba4fa5aa5bcb035f1ea1ab5bb2c43696ae04fd","datavalue":{"value":{"amount":"+0.894203","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":"Q4400799$D821269A-79AB-495C-9CE7-9FC9CA0B2AEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4400799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4400799"}}}}}