{"entities":{"Q4099230":{"pageid":6128830,"ns":120,"title":"Item:Q4099230","lastrevid":33195398,"modified":"2024-03-24T00:00:23Z","type":"item","id":"Q4099230","labels":{"en":{"language":"en","value":"Theorem Proving with Lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3521538"}},"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":"Q4099230$95C73692-FE1E-4037-AB95-0CFC6F668911","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f1576e679e55eec0b9a6e64af8584dc3edfebf5","datavalue":{"value":{"text":"Theorem Proving with Lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4099230$AAE98A39-4408-48F4-8E91-A40BDC85DD31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eaa74bb47012ce05e703478edb02746370949ad","datavalue":{"value":"0333.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4099230$68781933-65AA-421A-9A5B-402292ED2856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1646e47d04c5f770e62da71ce5ae931ffa0305d","datavalue":{"value":"10.1145/321978.321979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4099230$F13F1369-C06B-4FBF-B8B2-7EE2D9772A04","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":"Q4099230$389B337C-D121-41E6-B009-3CEDF1C0F3ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4099230$FB198703-15DC-4D85-A6E9-D4B2FAAA3B80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4099230$A91CB6F7-FBF6-46F2-97E4-CEEAD9EAA6A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5f44f08402aea3c36e66858a829dd473932df9c","datavalue":{"value":"3521538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4099230$B198CD93-AC93-4246-A308-3EE54DDF6801","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":"Q4099230$3F67C28C-A1FB-45DF-954A-FD4677F2AB1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6a747c3bdb692f8d10e46435ed05a44f882ff96","datavalue":{"value":"https://doi.org/10.1145/321978.321979","type":"string"},"datatype":"url"},"type":"statement","id":"Q4099230$5632FA21-A3A9-4630-B9BD-69FDFB214A9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02fc6caba3a7246f89b912e4a22a33d24bd03ea9","datavalue":{"value":"W1973690273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4099230$0F70E802-C683-43B7-AE30-02FE57AF51DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c4b3ebcf6727b4dcfaf43ae0c01223e5f1ddd99e","datavalue":{"value":"Q124843390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4099230$FCAA915E-48C1-432D-BA12-3D45622701E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4099230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4099230"}}}}}