{"entities":{"Q6488581":{"pageid":14067350,"ns":120,"title":"Item:Q6488581","lastrevid":103341620,"modified":"2026-06-06T07:12:05Z","type":"item","id":"Q6488581","labels":{"en":{"language":"en","value":"Dissolver: A dissolution-based theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680851"}},"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":"Q6488581$71F8F242-B2F2-4B9A-BFA7-460FF91E2075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7418c333f173df53aaa6643f9113375f20884d0c","datavalue":{"value":{"text":"Dissolver: A dissolution-based theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488581$178BA066-1308-44F4-9806-EB03CD7D101A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bb4ab7b3ab91db87cb000839a299c2c8cba909a","datavalue":{"value":"1509.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488581$F33A22DB-9ACE-48F8-A76F-B1CEF3064B9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4441eb254bfc57a348b3f009ed4ebcd77dfe823b","datavalue":{"value":"10.1007/3-540-52885-7_132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488581$123F4B69-2308-4489-8B39-2257629E8734","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488581$80507A72-0452-4330-871E-73EBD65A7E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488581$C2F8AA9D-6757-4A08-9588-13419CF70779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488581$865DFEBB-08D8-477D-93B0-8F54D7187C85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488581$7534D9A9-7303-4CCE-B03A-6CE162C2C6E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0379e9dc823ebf978410ee2e98aecc20dd85d42","datavalue":{"value":"7680851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488581$DB7A455F-792E-4514-B9E4-41354E169301","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":"Q6488581$4558FA2B-4057-4720-825A-F4CE5431B769","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488581$4382AA7C-5505-4C17-9309-C6292ACF0DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c938411d884681f09c4fa1c30d65d416fb39b55e","datavalue":{"value":{"entity-type":"item","numeric-id":3804233,"id":"Q3804233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488581$EB8B5FC1-74A4-4C86-AF8C-02987F5B7D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488581$55B6CEF0-75CA-4C0D-955C-66C3B42032C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dissolver: A dissolution-based theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dissolver:_A_dissolution-based_theorem_prover"}}}}}