{"entities":{"Q4293537":{"pageid":6323138,"ns":120,"title":"Item:Q4293537","lastrevid":46327434,"modified":"2025-12-24T14:10:33Z","type":"item","id":"Q4293537","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 578242"}},"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":"Q4293537$0BF91D49-C614-4A89-B49A-7DB59BC4BA86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b313c7809fc699196cb00eb9d95ac0a7f90ec1bc","datavalue":{"value":"0808.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293537$CF6EDE8A-E376-4217-AAEE-FA8D5012AC87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f471060a62d9787d70f647fb18a25f3a15400d2f","datavalue":{"value":{"entity-type":"item","numeric-id":213481,"id":"Q213481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4293537$74431483-8363-475E-B573-540BE1263275","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ccc52b6df252e68e1602c1c70737f7ae7e1a2f7","datavalue":{"value":{"time":"+1994-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4293537$0AB56716-7C63-43CE-9294-505C6A001FC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293537$4C996227-DD0A-4810-B948-FF4593100EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293537$8C738FC8-56D1-404A-88C7-0AF9505A8239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293537$55AC2A07-0BC4-492D-9981-E2D3697076EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57e7adf97cc7556f8e733adf1c483697340047b6","datavalue":{"value":"578242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293537$EBCBAA8C-8979-419F-9DBD-D9AE3B39CB4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293537$8C8B83B7-BB18-47CA-837E-B4774ED4CBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6d887dea02064be0360477cc5a75e3c7b45070","datavalue":{"value":"inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293537$6385B148-E607-44FB-8EA7-520AE3DA9801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293537$92ADC538-D3B8-49E9-BF86-9EF1EA341FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293537$65BA3E63-B7BE-4217-AB60-9F89EC264D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d2cd6c808ad9febc6998c9d303f1acef764ca9","datavalue":{"value":"Hilbert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293537$CC038293-38BD-4CC0-B2CC-FD9B0BC05D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483a5d2a9f2dfccefb226af26ed37073053d3dc2","datavalue":{"value":"finally resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293537$92B7D2BA-3572-4C51-A492-214A10920AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293537$B29B0EF8-FA1D-4FC5-9F58-C4A0154FBF46","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":"Q4293537$4A1C1071-0194-411D-B4B4-16288395D2E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d4f66fe3cdf00131261d225774d41b97a26f13","datavalue":{"value":{"amount":"+0.8755075931549072","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":"Q4293537$2B160B89-48C0-446A-97C6-C1C4511F8C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2322111ad12d0301bb1de8aa8401f1dd49303694","datavalue":{"value":{"amount":"+0.8662236928939819","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":"Q4293537$BB6767B1-5AEF-4A83-8A6C-7F88C90CB346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596001f2ecc4a532c34f374751e7d376e807374b","datavalue":{"value":{"entity-type":"item","numeric-id":2724155,"id":"Q2724155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d8c148fd97c605cffcef968817c27db485001e","datavalue":{"value":{"amount":"+0.8573147654533386","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":"Q4293537$B3BCD8E0-CBA8-44AA-B731-3ACD4E260484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b690ca30aaf4ab7c8d79d57c0270b4a23482b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4041013,"id":"Q4041013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d0af3ee186e2a34e65d3bf1eec1eed76467497","datavalue":{"value":{"amount":"+0.8539302945137024","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":"Q4293537$C0C6FACB-ADA4-4623-BC32-960F479A6204","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4293537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4293537"}}}}}