{"entities":{"Q6869931":{"pageid":20716177,"ns":120,"title":"Item:Q6869931","lastrevid":84234152,"modified":"2026-05-14T00:23:08Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2780b20a85a8e4b560b2945e5cf4f6ca9c40b96","datavalue":{"value":{"entity-type":"item","numeric-id":6869931,"id":"Q6869931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$4E608E2B-67A1-4D52-80D0-5BF335F472BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2852c4a88ddf3c6dc9f71ff41945ef7aed67652f","datavalue":{"value":{"entity-type":"item","numeric-id":2616499,"id":"Q2616499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$B9B717F8-9C3E-4DF1-9567-620689963F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416f2931b55e54b7f6b25f96239409c4cca67a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5884935,"id":"Q5884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$D4617F8E-310D-4F4E-ADEC-C1F2684E1F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$50A10105-9A43-46D3-A1DE-CE1E0DE2601F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b865cd62cbd78d165825353014794ad3e405d59","datavalue":{"value":{"entity-type":"item","numeric-id":2185457,"id":"Q2185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$EB2DDB8E-E769-45E7-A4EA-7FF4012F5B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b990d14ebcdf47e439d3e30408548c61588ea44c","datavalue":{"value":{"entity-type":"item","numeric-id":5802119,"id":"Q5802119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$00128497-C475-432C-9829-A3F45DA0B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cd8752b2d95951d3ecb53c31abc8625075840c","datavalue":{"value":{"entity-type":"item","numeric-id":5807660,"id":"Q5807660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$0C2D93AC-4A76-4AED-8FF8-6C0AB5C25094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$54AC5F25-0A94-4491-AAE9-8792C6E6F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daced190fca07dbfac2e0dde2f545f431e870dd","datavalue":{"value":{"entity-type":"item","numeric-id":1343394,"id":"Q1343394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$647E96B2-5E7E-4003-84F3-DC12A0BD6422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$0B088A19-A740-48B9-AA62-7E0C25F6CFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$3D877FEB-BCEB-4907-A8DE-D72CBA326337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2d21d33f3578a42425eda62598b418d1d8acdc","datavalue":{"value":{"entity-type":"item","numeric-id":4600732,"id":"Q4600732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$ADF15FD1-7CEE-4FCB-ADF7-4E304E36F33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$EAC81745-4120-4F6B-BAF7-9886B995DA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03977f9b08bd40c37e2b80d09437ebf623cc0ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4264098,"id":"Q4264098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$FCC556EF-7932-48ED-B4D7-A3610E86957E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a14cdbb4c239e7e5ccdafe5329c7f7a7e250245","datavalue":{"value":{"entity-type":"item","numeric-id":5394676,"id":"Q5394676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$235F9A8B-3CFF-4849-A567-908A7F69B323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83f9b3fcfb60295beb77db0b4e5f1fb2809bd94","datavalue":{"value":{"entity-type":"item","numeric-id":2987044,"id":"Q2987044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$EE3A95F0-7544-4BCD-ABC0-B990248DA174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68bd3c479b0afc38fc2b3684aaa9294549d85a83","datavalue":{"value":{"entity-type":"item","numeric-id":2817928,"id":"Q2817928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$FBE96A94-D814-452A-B2D6-BEA618B8F573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2437832edc0751f5f3785e774bc80cd9be629eb","datavalue":{"value":{"entity-type":"item","numeric-id":7034598,"id":"Q7034598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$5D36276A-07A7-46C3-BF26-6EFEB9452615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$90832E61-30A7-41AD-9F9E-E37EEB776493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc3490ba2759471fcf38442b8d417af0fd454f","datavalue":{"value":{"entity-type":"item","numeric-id":7027225,"id":"Q7027225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$CE86E610-2885-465A-AB9D-481EF8A6C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d51dc77936fcfb4098ad7c52cc8a1349833447","datavalue":{"value":{"entity-type":"item","numeric-id":5712428,"id":"Q5712428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$A8CB7E9F-E8AF-4214-BEE6-AEC6FB585175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1e22fe579264465343489fe20c48403da77d4c","datavalue":{"value":{"entity-type":"item","numeric-id":6647303,"id":"Q6647303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$732A2389-BECD-45F0-A69D-F72178B210B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed74b949115e5d18e129857075f73d9c30bc7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$59384A17-6B6E-4DA7-8A2B-96D570BC246E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$7ECCDFBD-7D3F-4373-942A-50439EB003C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829d586193236a297f70521b500446992eec7c3","datavalue":{"value":{"entity-type":"item","numeric-id":2818027,"id":"Q2818027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$EA266509-D18C-453E-BD25-498C21FB8C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8849c288a1474e5ab6a73d2843a8c781dc337462","datavalue":{"value":{"entity-type":"item","numeric-id":2870153,"id":"Q2870153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$73B2C486-BDD5-4B0F-9112-842816727D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5dbd52d1b4db38a12b10d55431228f7759de2e","datavalue":{"value":{"entity-type":"item","numeric-id":2849484,"id":"Q2849484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$33C9A6FE-7F19-46A4-AB1B-55A08F73C4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871979c7f5f894fa361fd2bc427b689835df215d","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$A32E38C3-14CA-48DB-93E8-197FD22D911B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5dd0e582159d420ee717865b397a15666a0463","datavalue":{"value":{"entity-type":"item","numeric-id":4946227,"id":"Q4946227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$93BB60BB-166A-417E-B318-7D70D7569E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e266358fafeb1c0439e3d84a4ad33756f161dd17","datavalue":{"value":{"entity-type":"item","numeric-id":831921,"id":"Q831921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$FB99AF7E-12D5-445F-B24C-3F8D458983AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$A85A2F5A-F142-4DF8-A1ED-E76582F908D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c733b68b1d9b72cc3607a2cd4fcb20389aaf1adf","datavalue":{"value":{"entity-type":"item","numeric-id":1532726,"id":"Q1532726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$4F02DEE0-1A40-4636-8470-7646A5BEE11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cfb7e8d5918978ad44c14aee594268e69f5ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1687567,"id":"Q1687567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869931$13F718AA-F342-4533-9A5F-1931DDEBCE27","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"}}}}}