{"entities":{"Q3906484":{"pageid":5936389,"ns":120,"title":"Item:Q3906484","lastrevid":54931642,"modified":"2026-01-30T15:40:30Z","type":"item","id":"Q3906484","labels":{"en":{"language":"en","value":"Theorem Proving via General Matings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3714999"}},"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":"Q3906484$F9A1C1F2-124F-43E5-8818-D26074EA9D7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf13d262d3a62f142db528ce9b7847b48fd95b97","datavalue":{"value":{"text":"Theorem Proving via General Matings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3906484$F4DDCA05-41E5-43D2-B56D-2DAB44C7DFCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3af2872241d89facd5f2304cca226a86770ee13d","datavalue":{"value":"0456.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3906484$9DBDEEB9-7D4A-4150-A672-5D7D1310C381","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf457abc5e3fae9c7fad131512a9de2d90f1af93","datavalue":{"value":"10.1145/322248.322249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3906484$E40A8294-4B0F-481D-9A23-412136D00337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3906484$2A603746-DFCC-4F09-BE43-43CEF03D0E3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3906484$05213DE1-5AFF-4A0B-8A3C-876FE5025502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3906484$52B8FB02-CC90-4F16-8EA0-FA3475D647FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44d989373c47d38ee2579523e2f267b3378c1033","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.601","type":"string"},"datatype":"url"},"type":"statement","id":"Q3906484$29E157F5-E66D-4F64-AE93-8879A0C076BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3906484$5F53C511-42AC-4DFE-9C5F-65A9BCA5520B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3906484$C97D0ED3-59D1-4408-B22A-5E304B3EB603","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"286dcc44f3e838bfb7883caa745fb6fa39979e11","datavalue":{"value":"3714999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3906484$5B453835-67BC-4FF3-B139-D691C4E178A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3906484$32FEA933-4B5A-434F-8ACB-4A94B947CA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3906484$BDB2AA6F-DCE6-4762-9726-2B6D233F9285","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":"Q3906484$9E05B8A0-9618-4FB3-ACDE-931397E12E55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb8dfffea3a871e66075c2c25311accbfa843a63","datavalue":{"value":"W2018221833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3906484$A93D5A7A-E368-45A5-8160-7154EF9FD0D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3906484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3906484"}}}}}