{"entities":{"Q4874615":{"pageid":6904194,"ns":120,"title":"Item:Q4874615","lastrevid":46428720,"modified":"2025-12-24T18:48:34Z","type":"item","id":"Q4874615","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 871197"}},"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":"Q4874615$C123C89A-7A14-4D75-B0BF-32118CAA519F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3791e5a16fb2616d88047dd44e380c02374e8fd3","datavalue":{"value":"0855.93008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874615$5312DA13-3D1F-4950-A15D-1C450A988775","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf515a6216cc6f1284e702b937225b9483bcd1a","datavalue":{"value":{"entity-type":"item","numeric-id":818318,"id":"Q818318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4874615$B88ABEC0-AC34-4099-986A-89A10D50A0BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae9aaa534980015221c1d39c9156b650100119fc","datavalue":{"value":{"time":"+1997-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4874615$5D761D76-CB7C-4D26-812D-26A727914D99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca254bac23212327076eb3d68dd584221b657960","datavalue":{"value":"93A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874615$C8743A88-EE8D-460F-A862-09769BD11C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874615$B13A3274-42B4-4A82-B1B1-AFD3F0996272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874615$E00BC9C2-4169-4A2D-8923-9C14CA1930F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874615$0897C79B-FD15-4995-879E-F83A918D84C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874615$70576854-EDF0-4436-834B-09AA29E16977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00801d15eeb385c60f2e53a8d8415a6134f80c10","datavalue":{"value":"871197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874615$F8CB5165-B331-4972-8B6D-121E60EB8CC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd06a47f1494c93ed081181c2990dc4231cfb32e","datavalue":{"value":"knowledge representation language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874615$0508987B-8DC8-48A1-8D2E-DEC9ABFEF6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a250535976c55d0d83f766a663ca018f553759e","datavalue":{"value":"first-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874615$647FD339-C563-4E05-B91C-36E9BCC11807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd9eae3713436b570317dd7d29dd4ea7d43acb6a","datavalue":{"value":"backward dual resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874615$CAD7102E-4D75-4616-AE51-6201590B3BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f32e030b2930212a6e10f85b6696ffe8b3df79fe","datavalue":{"value":"state transformation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874615$79087DD6-E7DA-4765-83CD-16D8280E5693","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":"Q4874615$AE6B07EF-5972-468A-9914-341EDC62A850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaead2ff2b2057b82fbf28489f83c2d0c5ed163e","datavalue":{"value":{"entity-type":"item","numeric-id":4853792,"id":"Q4853792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ecbf8a28ba6c5bf5d37fb54aa42453e4651a51","datavalue":{"value":{"amount":"+0.9204310178756714","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":"Q4874615$4BB35CC8-B4F2-49FF-ACEA-3727E2E87CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c7b1c75f31ae9359bdc1cf361cb0b45ed64538","datavalue":{"value":{"entity-type":"item","numeric-id":4858176,"id":"Q4858176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbe90750daf02589b74dfd06268e5472d0fe04e","datavalue":{"value":{"amount":"+0.9195067882537842","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":"Q4874615$3DB81C5A-3AC0-4804-9AE1-961B0D3EA83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad404d693976b3e1dbc8bd65102b64c62bc5e9c3","datavalue":{"value":{"entity-type":"item","numeric-id":818319,"id":"Q818319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a349273580b306531e7489200d92831f5ae70e","datavalue":{"value":{"amount":"+0.7652917504310608","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":"Q4874615$157B7D87-0107-4093-93EA-B5C4C9878863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d18b2ae2fbde257482cb394ca6b203cd8aeefa3","datavalue":{"value":{"entity-type":"item","numeric-id":4333388,"id":"Q4333388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17922840c9c5576482855a05dc947f552a19b801","datavalue":{"value":{"amount":"+0.7602682113647461","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":"Q4874615$D95907AB-9677-4D93-8E1C-E33680AD20E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4874615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4874615"}}}}}