{"entities":{"Q3793768":{"pageid":5823674,"ns":120,"title":"Item:Q3793768","lastrevid":52828973,"modified":"2026-01-23T14:32:33Z","type":"item","id":"Q3793768","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058910"}},"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":"Q3793768$FD8AEE4F-F00F-4791-8597-BD51740E76D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76b5e82f5b2d701f90d8ee986b97844eb5fb2b34","datavalue":{"value":"0648.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793768$71AFB2C7-8A47-4835-88CD-01E899C17484","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":"Q3793768$5470A4B8-4408-4422-843E-BE595F38D292","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793768$7148E5AC-12FC-49AF-BAA7-25B043ABB3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793768$128A3AF4-4771-488D-ADF9-EF95D3BB198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793768$50B4A811-E988-4F7D-941C-8548AC6252B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b71b333a7cb0723557698a4d5c8c88be23cc791b","datavalue":{"value":"4058910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793768$2FC225AA-6260-43CC-BF2F-BDF584B6A411","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840269d56ab26ce733fb2eea491e4e0f0cb13bec","datavalue":{"value":"logical programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793768$69157162-B9F3-44D0-A724-F85748C518B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793768$64AA07F8-757E-4F22-857C-3E4274688173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77bff4d9e406999cbe578b8ed2b01c81275e2b7","datavalue":{"value":"disjunct order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793768$7D5CB6CA-7E76-4E3C-BE26-F26EEF310CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6c7c8dfb481f85cf0dc20342bd7588e62043fb","datavalue":{"value":"ill-success","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793768$28B85930-5103-41D5-8D54-5EEEC8800B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"349364f1696b1881940f64228978cade473a0dc1","datavalue":{"value":"negation as inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793768$B08487F4-9BB5-4B4E-BF98-84E8220E2AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97395c8949cbd658d885a73e180d4c147c2df19","datavalue":{"value":"minimal predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793768$6DEA2F01-44ED-413A-9EDB-32B880B0E838","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793768$4187E7D1-E3DE-4A5A-B2DA-0636FD5A471A","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":"Q3793768$899D2B54-69AF-4302-9F31-697BD2CA028B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895d5fb7f9cce9deadb2205ea78218d84f034b04","datavalue":{"value":{"entity-type":"item","numeric-id":3471707,"id":"Q3471707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0d6bf2887a4b78205a99c0d6aad37a7b42593e","datavalue":{"value":{"amount":"+0.8714269399642944","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":"Q3793768$C8657CB0-91A5-4FF7-B6BB-DB9B9263B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c4a58b2be2c4e14cd223db74433f621985e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3745320,"id":"Q3745320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab923f9512e1e5d3c58578b648829d251ea7a0d9","datavalue":{"value":{"amount":"+0.8557658195495605","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":"Q3793768$DF904844-FC8F-4B40-A99F-9ACCBFA391B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a98a05bda9ef5c87258cef48929efd72e5b35fc","datavalue":{"value":{"entity-type":"item","numeric-id":3782841,"id":"Q3782841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7c564448aa8077897edf7f1c7e383136d2e0be","datavalue":{"value":{"amount":"+0.8541305065155029","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":"Q3793768$084017DC-780A-4249-BC97-AC241DE73CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32f6ce882750b852e0f4628776c07bf87adb1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4002997,"id":"Q4002997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f5e342fa9b9dc0de978f42c744fb75ddb6940a","datavalue":{"value":{"amount":"+0.820365309715271","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":"Q3793768$EB8B40F9-CA15-4CA8-8F72-7389E1FA313C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4200ebfa4f1f91bad240865826b5557c025dc92d","datavalue":{"value":{"entity-type":"item","numeric-id":4004424,"id":"Q4004424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f5e342fa9b9dc0de978f42c744fb75ddb6940a","datavalue":{"value":{"amount":"+0.820365309715271","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":"Q3793768$AE0764E2-3293-4273-BC5D-F873626473C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3793768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3793768"}}}}}