{"entities":{"Q3880319":{"pageid":5910224,"ns":120,"title":"Item:Q3880319","lastrevid":54591632,"modified":"2026-01-29T02:06:10Z","type":"item","id":"Q3880319","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3684932"}},"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":"Q3880319$0763D713-D222-4AE7-8233-0B1E7060606A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb43942c54a3a5b715691ce8ca2de33f9456794a","datavalue":{"value":"0438.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880319$F38EA9D9-C5C1-471A-93F4-47D6639CE9DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6e57e7cbbcf47c47eab8817c6b7cdfc4fb3e81","datavalue":{"value":{"entity-type":"item","numeric-id":915495,"id":"Q915495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880319$FC6796A2-3D81-43D2-A034-FD21BA34C0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8519447a81947ff002304feedf780fd64c450478","datavalue":{"value":{"entity-type":"item","numeric-id":1187855,"id":"Q1187855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880319$0B20ACB2-8C0E-4118-A545-255A3EECCA94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3880319$DA10E49B-99C6-4780-92FC-C3570F32188D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880319$8EDD8965-FA5F-4A3A-83BB-EEAD513621ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8e69b0a108f1d05a8663e5bde8b3a488bc9966c","datavalue":{"value":"3684932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880319$9866C607-E4B5-4B9D-AB27-B3FF7AE20D6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eedba58bd14a3b7ea76b9e1071f65a108a0fee","datavalue":{"value":"variable elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880319$D05FF1C3-2A56-4B5D-82D4-CA160FAB45EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225828513f7b4236acfd3e158ed6290d2b70cbdc","datavalue":{"value":"resolution-based prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880319$0FA76572-477E-46EE-AB75-5B529DBCE891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a7e423f6200e843f9674953ad764b85cb87aaf","datavalue":{"value":"inequality chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880319$A9753C6D-15AF-4CEF-BE8F-D1EBAB6B62D1","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":"Q3880319$90649ED7-9079-4423-9757-0C738C99CE64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3880319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3880319"}}}}}