{"entities":{"Q6887492":{"pageid":20821492,"ns":120,"title":"Item:Q6887492","lastrevid":97029401,"modified":"2026-06-05T13:04:47Z","type":"item","id":"Q6887492","labels":{"en":{"language":"en","value":"Bounded satisfiability checking of \\(\\mathrm{FOL}^*\\) formulas with aggregations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8133643"}},"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":"Q6887492$15D37D6A-9008-4B9F-9C4E-428B41F6DD10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be6ee08478dd09fa4498d1ab65bec90ec8b645ea","datavalue":{"value":{"text":"Bounded satisfiability checking of \\(\\mathrm{FOL}^*\\) formulas with aggregations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6887492$5A702203-3CFF-4287-8373-EA67A38F1D97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8cbe1eb90ca37dd00aa3adc2c7e6dc75d4aa3fb","datavalue":{"value":"10.1007/S10703-025-00483-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887492$5E557EFB-07E3-4473-94C4-9F2BC5489BCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e877d3e0b0432f4102ab98b65514c5f8acfe6e","datavalue":{"value":{"entity-type":"item","numeric-id":2147202,"id":"Q2147202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$110A779D-3848-4126-964B-5DF50AD24A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aeed33bb752aa31a5b5404be595d687b4990f3","datavalue":{"value":{"entity-type":"item","numeric-id":6535694,"id":"Q6535694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$58436CE8-343E-4115-9673-1A9348BB2E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f3de5c007b8c312a8c2fe5341d24ecede4940e","datavalue":{"value":{"entity-type":"item","numeric-id":6887491,"id":"Q6887491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$CE83D2F6-A4B7-4C87-911E-98099643107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$6C452BFC-534C-44D6-BC13-04F8536417D5","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":"Q6887492$A54D779F-DB0F-4111-9016-CBC19A330090","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"500c42754512091ea24a7a0986a3bee447ae34bc","datavalue":{"value":{"time":"+2025-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6887492$4AAB9BFB-37C5-4464-B585-C04F3DAECEED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887492$B8524771-DE18-4EA2-822A-89EDF7D079E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887492$39D6C149-4963-43B9-A247-7075BBFCB926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887492$CB1B462D-5BFA-478B-A11D-A2051B20FBC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04466993ed1acfde5b6e42f02a3facfa527da90b","datavalue":{"value":"8133643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887492$1570738E-DA47-490E-8421-163F6B530AEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887492$C17B9A70-2DC0-4BE2-8BC8-36F4D8C4854F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887492$8726C4AD-603D-4AAE-B201-E598C2EB2816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b36e7f2f2edf82469896981120488f710d53d80","datavalue":{"value":"aggregation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887492$1EA426C7-00CA-49C5-9A37-A852918EAAE7","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":"Q6887492$CDC77CAE-0EA7-43B6-86E3-8EAD2D141834","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4da7e9cc0f97cc296726f5174f2dc850b316d2","datavalue":{"value":{"entity-type":"item","numeric-id":6535696,"id":"Q6535696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$4D10B44F-0F52-4876-801A-CE6D1E65E07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaca69e77210795f474ad679b46d7aaa43adf87","datavalue":{"value":{"entity-type":"item","numeric-id":3003251,"id":"Q3003251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$D9B167DA-F0D9-45B9-ADE2-67B93F170201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$7AC0B353-7491-40FA-8654-5693F883D0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$9B5F8AB7-0F01-4145-B906-92736C147D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cff86b05be322d6413cf882ecc88a10186bedfc","datavalue":{"value":{"entity-type":"item","numeric-id":4255110,"id":"Q4255110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$997316BD-420A-4CC8-A443-CED85439D3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a3ed2382088a4963963343aa835160547a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946644,"id":"Q2946644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$0F17245D-8E59-4308-B9C0-66B1120E1D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78d51c47976dcda9c5a8e121ff9368920c64528","datavalue":{"value":{"entity-type":"item","numeric-id":2401936,"id":"Q2401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$AE9B52D3-A5E3-49B6-9767-267CA6F2102C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd3ae9ecaf03e669578b5127403b6c5be6add45","datavalue":{"value":{"entity-type":"item","numeric-id":3512499,"id":"Q3512499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$49A26789-5A72-4EBB-A25D-24524B54C42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3216d42207957e64bfec1ea73f6a86569343311","datavalue":{"value":{"entity-type":"item","numeric-id":784151,"id":"Q784151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$4D6A8E52-446B-409C-B355-E10778531458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c44a50a367829672ee3fbf3f9bb0c8464f00ec6","datavalue":{"value":{"entity-type":"item","numeric-id":956325,"id":"Q956325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$6A3DB372-C086-4AC1-921D-31DAC1B74CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c95f566cd609be2f98826bda3cf74e0545a27a","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$4B1CF73E-BACD-408E-AD47-458C5A3CBB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4a4cb773b3f0abdd71f34b580fa03099379204","datavalue":{"value":{"entity-type":"item","numeric-id":4612433,"id":"Q4612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$AD77B713-8187-408B-9F3F-DA10F3C1060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$9E269E38-DCE9-4A9C-A9EB-14B34D07C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eae62c058d6c3b073105abf4e6cf5e325aa8014","datavalue":{"value":{"entity-type":"item","numeric-id":6154870,"id":"Q6154870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$4591B2B8-E194-4845-9296-19E2D7C0FA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197bd6d0b9b13f7d7d62b39ca988dbf1f2dfc0db","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887492$32FD8A60-FD1A-457D-A919-391592C15238","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6887492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6887492"}}}}}