{"entities":{"Q3750144":{"pageid":5780050,"ns":120,"title":"Item:Q3750144","lastrevid":51669128,"modified":"2026-01-19T09:27:58Z","type":"item","id":"Q3750144","labels":{"en":{"language":"en","value":"Quantitative deduction and its fixpoint theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986674"}},"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":"Q3750144$03C7384E-E63A-4C58-82D3-AFFA851974C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"225edbc3f734d818dbb14054ff8ef9d37763a88b","datavalue":{"value":{"text":"Quantitative deduction and its fixpoint theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3750144$3E7B1F0F-632B-4BF0-9423-AF5A3E69B2CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"397b7190315780b3fcbbc44f0beeb172e007ca55","datavalue":{"value":"0609.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$933B117E-C4FE-47DA-8207-56A78A457EF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdb9b2f8707ba46005d5653ee9e1820c72a08282","datavalue":{"value":"10.1016/0743-1066(86)90003-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$F0FD4603-29CE-4A3F-B461-6171B942B3FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750144$04D83736-D0B0-4211-AEC2-D4F9C2BBE690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3750144$1E2AF8FD-2F2C-4A2E-A9A5-FD9561F0110F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$80FD701D-44FB-40AB-A046-A5FF8710109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$A15BE7B4-E3A5-406A-BDEF-874B1B0E96E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$ABFC52BA-B899-4816-8DE0-5CC0B6B220EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$5954FD2B-C4E4-4DFB-9277-B9BFAE4F4FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$26C744A9-7F38-4FAB-B52D-7FA003E28427","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa0b1a43101286b8880ea57bff9a075385667b76","datavalue":{"value":"3986674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$86EF3D94-C6F7-45C4-8261-1E7F8F2C23D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61357657bf874e08c6639092dc1d7f3a7701446b","datavalue":{"value":"expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$945A2D0F-99E1-4A45-96C2-FA4E7BC4446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$987C711F-5461-45FC-B1B8-29C838F0AF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c5f585079e3d7c3ae2f79c8e89a52b221b8118","datavalue":{"value":"fuzzy set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$27557AF4-DF2A-4136-8DF2-83CCC6B34131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$A5435B70-3FCC-41B5-84AB-2F0E615ECD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$00351299-0BDA-41EE-A8F0-267AEBE86B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3a51b20c38dc6f1edfb362c0e82e6f1a0fa919","datavalue":{"value":"quantitative deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$1BC42B36-64F5-4AA6-ABD3-7C2A2D4DE26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f26ad2130ddc4077dc89d50aa62c0e6a25724d","datavalue":{"value":"Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$DA6747A5-61F3-4423-9DE3-BC892F4429AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf322798e548b6e772f944103be16735a82e270","datavalue":{"value":"fuzzy deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$2FA1B465-5E9B-4EA8-886E-A694B8F1D341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae37f732c5cde4c28673c8556990ea1580d2fd6d","datavalue":{"value":"two-person games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$E1C72AE4-2787-4050-94B2-0FB920640E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2aa2a35ca1a65dca8db7ce6029c0b2ab7385593","datavalue":{"value":"Nim","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$FCB2AD6E-6E09-4BD4-8CB1-662C26D93717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc70c1cadc2e8ed8867c8c8e259f1cc6aa0e701","datavalue":{"value":"alpha-beta pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750144$B144D50E-EC28-4011-85E3-EC7F42BC929E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750144$A478BE23-B744-47C1-97B0-80FA72BB5875","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":"Q3750144$E29259C1-0212-4160-A707-54924488B378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01aba564ee8829132f61df0c5e255535342d2103","datavalue":{"value":"https://doi.org/10.1016/0743-1066(86)90003-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3750144$C814CCEE-25F6-46E5-905F-9473FCF08AC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"011960986d4bcea8a91549b97ac9c1275e5da10b","datavalue":{"value":"W2129802691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750144$A439F4EE-18ED-46A7-AC01-5B17A5C2A1AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d69a4b6320ff34703286c301fb52210386642ee","datavalue":{"value":{"entity-type":"item","numeric-id":5200696,"id":"Q5200696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17cebac36b6947f4506e0fec0be43e41af55007","datavalue":{"value":{"amount":"+0.8894321","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":"Q3750144$32DF7C0B-6335-4E86-B630-394EBF9F933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31806d9a34f4be083b271e3b4a1dd4e6c5643633","datavalue":{"value":{"entity-type":"item","numeric-id":1007841,"id":"Q1007841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4623c8b02e3e43ff43f67844ff5dd4113e90ff8b","datavalue":{"value":{"amount":"+0.8893661","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":"Q3750144$400F2D17-E385-463F-A989-D59B2A600A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52e05f9b5a671799a559ae03f1e56a854294c70","datavalue":{"value":{"entity-type":"item","numeric-id":5354752,"id":"Q5354752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6a9cb2b023f2ca89a2749a68af692f46fbaf36","datavalue":{"value":{"amount":"+0.888532","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":"Q3750144$F837FF44-4C63-4F26-8B0E-E12627A8CF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d5c4c0a721f1acf07fff72f81862aa23ea21a1","datavalue":{"value":{"entity-type":"item","numeric-id":4385351,"id":"Q4385351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f901d2e088df09cc6be43b8b3a15b4b20977ba2","datavalue":{"value":{"amount":"+0.88762826","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":"Q3750144$2E9761EA-C395-414E-B3E4-60EE9964DFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14176f6cb77c1fb6adb66d34f2b287688ba7838a","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e993cb8226d66bd51b823a077fd08218bc0593d","datavalue":{"value":{"amount":"+0.88711095","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":"Q3750144$CE9B3C96-F46A-496F-9C78-4FAC509F0A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16014525d9b01949a04963a6543111a884c5fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e993cb8226d66bd51b823a077fd08218bc0593d","datavalue":{"value":{"amount":"+0.88711095","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":"Q3750144$FCE778C4-6686-4E3E-A180-BF2E8008E1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b6baf884f1a2ae636118c5122d926b714e417c","datavalue":{"value":{"entity-type":"item","numeric-id":3145159,"id":"Q3145159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1d74c59ec64f89e0fe9b6f175b1fda00e3a0b1","datavalue":{"value":{"amount":"+0.8846408","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":"Q3750144$76B4A797-D973-4636-A71E-54D20A92AE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b558f6db38c819add9b4e3c855afdd04b935c8","datavalue":{"value":{"entity-type":"item","numeric-id":3145136,"id":"Q3145136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289948caabfd8010a807745513e514e94dfd9db1","datavalue":{"value":{"amount":"+0.8837387","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":"Q3750144$C06D8124-C7A6-4AFC-9A5C-3EEBDD0E0314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d886e0e830c068e08ac3ab53f48522901c12c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4364519,"id":"Q4364519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07854b41c477d0b3c24f53455ceb91c49b25a26d","datavalue":{"value":{"amount":"+0.88309515","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":"Q3750144$48D86ABE-8245-4BF1-B983-B18EF59CE4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c818757ac24e4ffb4e76d5b00d5af680e5c0ef","datavalue":{"value":{"entity-type":"item","numeric-id":3830982,"id":"Q3830982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df9da4ea11d99c80af850ad9c3852fc0a956cea","datavalue":{"value":{"amount":"+0.8805273","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":"Q3750144$145D6DD3-59E3-409D-A28C-DA940CE5B86E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3750144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3750144"}}}}}