{"entities":{"Q6911405":{"pageid":20970448,"ns":120,"title":"Item:Q6911405","lastrevid":75627967,"modified":"2026-04-20T10:30:35Z","type":"item","id":"Q6911405","labels":{"en":{"language":"en","value":"SAT solving for variants of first-order subsumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8110395"}},"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":"Q6911405$1120C264-955C-4E58-A73C-C6ACE6F387DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"216f697feb8e85b5506538b6de42c4cd23c433df","datavalue":{"value":{"text":"SAT solving for variants of first-order subsumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6911405$EDED31F2-3601-4B4E-9023-00C6B98A145C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aa3e223c10e0bb7550626e0963ee4aa2d5267ed","datavalue":{"value":"10.1007/S10703-024-00454-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911405$D595D80D-DCEE-42DC-8BB5-D3CC71B5D551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da4a0e9cbc7eb88d7f26443eed4f29f52cdc3984","datavalue":{"value":{"entity-type":"item","numeric-id":6492739,"id":"Q6492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911405$7426E90C-E8E0-435F-B67E-5B680B3C4EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ead90cf6f1840a157ecd158389beb38617898597","datavalue":{"value":{"entity-type":"item","numeric-id":2096453,"id":"Q2096453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911405$954240DA-F67E-4519-88DA-FB410C24A260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c317a0c80aecdbeefe69f1f6cac115022f894c88","datavalue":{"value":{"entity-type":"item","numeric-id":6429156,"id":"Q6429156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911405$D6B81652-0BF9-414F-B68C-5B792463B5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911405$3094093D-4651-464C-A718-A247163AF1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911405$B5144EC1-8400-4161-96BB-CFB3D9B88975","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911405$594FC973-6793-46D6-9958-99D7BB06E16E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f508d3991dd2f46230f7c1046a08b37030d6343a","datavalue":{"value":{"time":"+2025-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6911405$6F622DF5-ED20-4C41-898F-1E860984D6C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911405$3B2FD872-37AB-4B98-BAC1-33740D1847D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911405$0704BC7A-2F47-4646-9461-BB8FA7AE52F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc97baa1cc5e7bff989ecde8138e33e4a862fb6","datavalue":{"value":"8110395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911405$82A786F1-2402-4A1A-AA20-49B40BC089D6","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":"Q6911405$AD968B93-F337-485D-8303-737088102276","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6911405$2528D44B-C759-4CAE-82D8-85FA0D5FF117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6911405$31D76DF6-40B6-4315-9D16-352DEA242DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6911405$59A290EF-114C-413A-B890-8FD434F5F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q6911405$80F15CB5-7E8E-4B2B-B6C9-677B90F6DBE6","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":"Q6911405$C6752B52-6214-4E68-87BB-893C2D764568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT solving for variants of first-order subsumption","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_solving_for_variants_of_first-order_subsumption"}}}}}