{"entities":{"Q6869931":{"pageid":20716177,"ns":120,"title":"Item:Q6869931","lastrevid":75237811,"modified":"2026-04-18T07:27:49Z","type":"item","id":"Q6869931","labels":{"en":{"language":"en","value":"Computing witnesses using the SCAN algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149368"}},"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":"Q6869931$DD874078-DCDC-4B32-AA6C-CD35268D22A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db47941d1dd5e2bfa5071c87f2db7d6c58624072","datavalue":{"value":{"text":"Computing witnesses using the SCAN algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869931$12CAB6C0-507C-4D5D-A1BB-5226866EAB34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32a8449a0dbf2c7a6a7b7b35719df6ca6c9a2eeb","datavalue":{"value":"10.1007/978-3-031-99984-0_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869931$7B00F647-0D39-4D09-ADF9-6BFDBFED4201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe938585bbadcd05b03bb61f02045436efcb0cdc","datavalue":{"value":{"entity-type":"item","numeric-id":6869930,"id":"Q6869930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$FD175CD9-08DA-4598-BB0D-8C22BA746AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$BCBC121E-4D17-4598-AFC4-FABF65653BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$3923C39F-140D-455B-B6FD-21A881349C06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869931$D966A7CA-CA6A-4490-B979-7E81CFED7283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869931$D66E23AD-5098-4648-8CE0-265732AB3999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869931$E120096D-D2A8-4FD8-BAFC-CE50B92A723A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869931$D2AB510C-49CE-475F-A57F-8C61629975B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3b5c4cd4929fe896208439a17342d8c74349c88","datavalue":{"value":"8149368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869931$43A1BF43-04B3-4C54-A566-BD906E5DABC8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$EDB14398-03E9-4E61-9FC1-127C0C0033FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13610f26b20136cdc136cf0db05fb7289e31a5e","datavalue":{"value":"second-order quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869931$80C65D19-445B-416D-9F04-705B882FEEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b716fa4c006bd888518d035f9370767a28cc71f","datavalue":{"value":"SCAN algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869931$D619868E-0AFF-4249-9555-038B8C567ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5186ee27ed22d9270253e644cdd4f7405157e09","datavalue":{"value":"formula equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869931$97DBF569-C3D2-4413-AAC7-30D8E8D56D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2e8b0fb813416ffa32fa31d335ccc35d3669a2","datavalue":{"value":"saturation theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869931$22A670FA-A8CA-4BF6-BEEC-9EF490CECFD7","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":"Q6869931$916436C4-5966-4CEE-A128-E3F6927DA35B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing witnesses using the SCAN algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_witnesses_using_the_SCAN_algorithm"}}}}}