{"entities":{"Q3947642":{"pageid":5977547,"ns":120,"title":"Item:Q3947642","lastrevid":55071508,"modified":"2026-02-03T09:39:44Z","type":"item","id":"Q3947642","labels":{"en":{"language":"en","value":"Conservative reduction classes of Krom formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765751"}},"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":"Q3947642$D0B82311-C153-4BCE-920D-516FEC511470","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a1653ea6c0b3fea2d1957c2ce7121afedf01213","datavalue":{"value":{"text":"Conservative reduction classes of Krom formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3947642$ED4B36B3-5F2C-4D6F-9F2C-C998482E8327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c9bd4a1993b3219332afb06447691922360d5dd","datavalue":{"value":"0487.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947642$1CF36E3A-F0BF-4A34-B098-8B9605D039D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f20f10bb1f7be9042d65f16a010ced1d9c64152c","datavalue":{"value":"10.2307/2273385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947642$51A019A6-B000-4A7E-A8F3-942C3D8739C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d957ceeb611a81604ef562acf1a938a6ae444b8","datavalue":{"value":{"entity-type":"item","numeric-id":3177722,"id":"Q3177722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$8AABC0CD-169A-4468-9D56-C5FABE016525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$2C30F2B0-1654-47EB-936B-729420FF4018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377f0577777abeddabd75e3344d5dbc70225d82f","datavalue":{"value":{"entity-type":"item","numeric-id":800914,"id":"Q800914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$F468873C-6988-4850-BD81-0B203AA8CEFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$E7E9D93B-7194-4102-B7C6-713EE9CF1367","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3947642$89EC7A87-292F-4CEF-B21C-D778A02C7B26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947642$4306BFC4-D2BB-4DB1-8315-6F54117FD5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947642$A2D4CF65-C005-415F-980D-EAB5DC07826B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947642$C7786AF2-12A9-44F9-A1AF-F34278A1FD16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03a141a3004e15e165bd0163a7c051b5e0b6a503","datavalue":{"value":"3765751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947642$9EF5CE60-EA8C-403F-ADFD-06015450BB42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73c902e49a0def109f110d0d20e8a4794318d384","datavalue":{"value":"pure quantification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947642$51F1929A-8508-4F7A-A4BF-4C24E1E66F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947642$AC0AB5FF-B667-4653-B4E5-0BD32EA6932D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947642$DB75AE2B-B3D9-47A1-93DF-C846F6636EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef8f75de539e79fcce8786793bdbcc2da385add7","datavalue":{"value":"prenex conjuctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947642$EFDB4F12-47F7-4CD3-A738-CB9D6DB88306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93669b7d542e6f89fb427ad1538a33768cd23f6c","datavalue":{"value":"unsolvable decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947642$975E1E18-D74E-4F33-8BEC-D024D393EEA9","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":"Q3947642$EE306F27-41F2-456B-B486-F84CD7681A73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bed6c5bf355943120ec557382b920678a5ec1ce","datavalue":{"value":"https://doi.org/10.2307/2273385","type":"string"},"datatype":"url"},"type":"statement","id":"Q3947642$9CC03586-9ADA-4F07-9D89-85D2E1EEF294","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06761bac92b3d9a4ac6a9c90047a100eeb46aba6","datavalue":{"value":"W2099158350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947642$7FD0C7D5-61FC-4978-96BE-DC797B3D18FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$C5AC24B7-87C3-4032-B6E6-92EF96DC675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56c196b363ddf81c3b40ceedd01f6d7e274047b","datavalue":{"value":{"entity-type":"item","numeric-id":4401431,"id":"Q4401431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$F3CF4604-33E4-4664-829E-DFAF87D708FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$E295E16B-C684-4DB4-9B57-811BF5B8D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85b992a547600b84caee010e54e47cb289d3eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5545955,"id":"Q5545955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$D7BD3D0B-1BB9-4FE1-B2A7-5CBB16C9BF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947642$CD861317-B901-4A59-84C1-2BBBD477BE07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3947642"}}}}}