{"entities":{"Q1283085":{"pageid":1293835,"ns":120,"title":"Item:Q1283085","lastrevid":43004469,"modified":"2025-07-16T19:34:36Z","type":"item","id":"Q1283085","labels":{"en":{"language":"en","value":"Definable deduction relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1274860"}},"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":"Q1283085$1740C20C-5CFF-4D00-96D7-D002AB5AAD98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11ab19af5c428603db6bc8ca811f073dbcc5dbd2","datavalue":{"value":{"text":"Definable deduction relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283085$D538F0B0-23BB-43F5-A4DA-AAA5A2A2355B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"782c96a68c7a9fdfb9163499b4098064b9631137","datavalue":{"value":"0921.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$1ABF46B3-0D05-428F-86C8-4AAB31C10883","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4d57696f0856b96b7ec015638200339f4d5b86a","datavalue":{"value":"10.1007/BF02917056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$26C802CE-4FCF-4038-A482-3660B4D44E49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283085$E70E0880-A6D3-47EE-AE41-EC7FB53A56E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ec2443ff209285a956ca794883324a907a1d35a","datavalue":{"value":{"time":"+1999-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283085$52A240ED-8426-4861-BE84-2ECE98AF4F8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$92DB3883-6346-4023-9D7F-23A4DD501B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$9207DC22-58DE-4444-B8B6-7EB98DDBFE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$C15192AA-1098-4F02-A260-0858598F2A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$04D57BBD-F4EC-449F-AAB1-C9F34EB706C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"576f6f586172e5f5dcbd055519ee3893efef8135","datavalue":{"value":"1274860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$73252133-CC69-4976-A823-FA75E3DBCCD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283085$3994F8CB-692B-4E07-B84C-34480B0747C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b85b7bcb919755bb4034626864128cdea835c8","datavalue":{"value":"nonmonotonic deduction relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283085$ACEB9DE8-574E-4183-8902-F7DEF58F24BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283085$DC1919A0-14C9-443F-ACA9-5697E9162D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fbe4f69e393a6bad1500db7d63fe97a815a8789","datavalue":{"value":"many-extensions property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283085$1EB89C5D-7628-4397-B03B-799E41040A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283085$BCB65594-66DC-4FD8-9908-BB55D9B270CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9962530287d32700fdecb9553ff164e0c1e75119","datavalue":{"value":"atomless Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283085$55F0B137-D960-4F04-978A-61F7250D890B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283085$F68F4BB7-8CAD-429F-84A2-772A40636E5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c835723930c8715bbc1e5e0010014c39ac4238","datavalue":{"value":{"entity-type":"item","numeric-id":714081,"id":"Q714081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283085$CA823B39-BEA2-4CDA-9D20-9DBA04278DBD","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":"Q1283085$9DE0274C-6B87-498A-8A4B-4FEE9CC4DF04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283085$66E465ED-9C0C-48A7-9E19-9C80B4E1F491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283085$84C01827-CF9A-4E7F-BAE1-41C5B2E39296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f41d782aa6582161421d34f07455ae4465eb3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1402721,"id":"Q1402721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283085$272906BA-A553-4F5E-9964-8A43B3F9634F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2700a9c0fc8e4feb1d4e67ad6ec73fbd839f3177","datavalue":{"value":"https://doi.org/10.1007/bf02917056","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283085$BEDE3A3E-2F1E-48A0-845C-7001CFAEBF8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"086b0c5ea1eda7e7a15f7faca9fab0a6493a2178","datavalue":{"value":"W1984266912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283085$9BB0101F-F754-4E58-8514-F2CE3380ED88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77306c66fd14758acb9906016e9a3beda9d5417","datavalue":{"value":{"entity-type":"item","numeric-id":613038,"id":"Q613038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993df0b1e46c483fd27269f5d0416ca6d1735524","datavalue":{"value":{"amount":"+0.9004712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$94CF1932-ECE6-4935-9F09-5EACBCB72109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c1453fca1619362ef82d594053010b74c5dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":4383705,"id":"Q4383705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e360545f278102845fa5af11fa95ba348ba684c","datavalue":{"value":{"amount":"+0.8721936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$F72B4931-4264-4BD7-B8A6-595221689D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb8f2bde882eb4376c97e1298f522b70ed53ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4728290,"id":"Q4728290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2771665ad99d72e3269e75e3cc82daa351479a00","datavalue":{"value":{"amount":"+0.8708559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$09A4B26E-EC8D-453F-AE17-2492148CEA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc418e5e934b9619049dc9324cd7583a19d3309","datavalue":{"value":{"entity-type":"item","numeric-id":4566143,"id":"Q4566143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa88911001b2aaf8886bd4b099897504b2bc8007","datavalue":{"value":{"amount":"+0.86823684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$8B98A3B5-7769-4471-878D-9463F55F1902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700bab287b148debdf93f79f7befe86b2dd5cf45","datavalue":{"value":{"entity-type":"item","numeric-id":4000240,"id":"Q4000240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccdcf9e6f57b4625f179e79af846d0c743b0a055","datavalue":{"value":{"amount":"+0.8682015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$D93F9021-7D13-41ED-B557-2EE3F332C43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f93b8b663d2d3bc40fb1fe7ee5228e3c0712da","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d0c52dcae420c055d13b478d391c30ae5ca2fb","datavalue":{"value":{"amount":"+0.866035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$6AB0A752-0111-4C3B-834D-6170BF131B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42576d80ade8338e0633fa11c0d5cd845688698f","datavalue":{"value":{"entity-type":"item","numeric-id":3567777,"id":"Q3567777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371087787dd266c870fa5223f0a650d77e809212","datavalue":{"value":{"amount":"+0.86508316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$E5CEDACB-B77D-4C5A-884D-4FC021532E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd03a1ff546b96b02e0115e14b5c4849931422b","datavalue":{"value":{"entity-type":"item","numeric-id":3083061,"id":"Q3083061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bdce30ddb1fbd59237e9d41cbd2e4c292220ac","datavalue":{"value":{"amount":"+0.8630867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$980B9210-311D-43A1-8117-18AB9EA8DD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cddd70aaa714284d92acbb61a0a9e97b9922ba4","datavalue":{"value":{"entity-type":"item","numeric-id":3793763,"id":"Q3793763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf83c39a2bf8ceef03210cc9a2517121d8098d3","datavalue":{"value":{"amount":"+0.8620493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$92F7BAE0-ACC8-4EC7-B70C-D109EA0A4939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7312f6fad711fb48a258862122fcd62600417d","datavalue":{"value":{"entity-type":"item","numeric-id":5406111,"id":"Q5406111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8091885a9d7f0fb6df2e7fbd81e4cd074592249a","datavalue":{"value":{"amount":"+0.8618722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1283085$83DD4749-E6C5-41CF-B318-3F479E67377F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1283085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1283085"}}}}}