{"entities":{"Q1905167":{"pageid":1915909,"ns":120,"title":"Item:Q1905167","lastrevid":73269387,"modified":"2026-04-14T15:13:11Z","type":"item","id":"Q1905167","labels":{"en":{"language":"en","value":"Logic production systems: Analysis and synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 830625"}},"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":"Q1905167$A3D1DEE6-8BCC-4564-BD39-E094E604C916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acd8a50a1ae128e73b96c001faea060d1e63196e","datavalue":{"value":{"text":"Logic production systems: Analysis and synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905167$F1B040AB-D12C-4BAD-985F-EBC7DB5D093D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b97d2dfd49361206b6e50c8dffae58ff3f565e2d","datavalue":{"value":"0835.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905167$B02ABD6A-7422-4D34-80E8-997651453BFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3106e138e707c4747945b279011f50a4e09659f8","datavalue":{"value":"10.1007/BF02366557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905167$FED415E2-1FAC-4DC3-B334-DD8A8DB0DA10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905167$B160EB5B-DE18-4CA0-AB87-3E9172FE3A7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23538f1860075d0767b907c88ed715c00085d18b","datavalue":{"value":{"time":"+1996-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905167$05EDF865-19D0-4560-B090-5628B5FA5D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905167$B5716A84-B978-438F-BAA3-7B5849245651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905167$059236B4-C383-4049-A9C5-13BF0D0878A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905167$EBB2E658-CB68-4E55-BCB4-1B0C933825DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ab862b4987eb6a009b6818d314fa4ba4aab9f5d","datavalue":{"value":"830625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905167$535A9853-1E64-491E-AE2E-6AC78D23CD12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905167$D533D68E-C456-4731-A918-2F98E6ADD533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a7092e2d26b05693118a61147ca9a512fd9359d","datavalue":{"value":"logical productions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905167$0B898C8C-1CAF-41AF-94C2-8987AAE674D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905167$3FA03D6B-EBEC-489B-8082-A20A97B772E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d7702fcc1dad47fd0bb7bacdc6d63540d2ab88","datavalue":{"value":"algorithmic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905167$2DF0DC36-A7A8-4729-848F-588C68AD272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247315e9213c7b43897ec7ad3df5fdc478bf12c2","datavalue":{"value":"logical algorithmic deductive machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905167$76BF6D9F-1098-479D-8463-4E5D536CD634","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8983351052507e73aea6452662c99de0fc1e7528","datavalue":{"value":{"entity-type":"item","numeric-id":466361,"id":"Q466361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905167$9307BD2C-D4DA-4B37-A166-9AF5774505CF","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":"Q1905167$B4357E73-1729-47B6-B4C6-A7D8B2BC6634","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd82f2dc8e09918d6ed5f2d18a5753f0c1b7663f","datavalue":{"value":"https://doi.org/10.1007/bf02366557","type":"string"},"datatype":"url"},"type":"statement","id":"Q1905167$4C064DD1-7E80-40EE-A183-BC87BB49CBD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7efb21535109839a749cbc66b77d064eb8ba622d","datavalue":{"value":"W2054227097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905167$2F4BB009-9F03-4555-BB1D-9475AB899F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737547f7730c01e6eae88db3a23d154fb4bb8ee0","datavalue":{"value":{"entity-type":"item","numeric-id":2742820,"id":"Q2742820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9db75678fc4c93f5fa49cf54872debfcbeb874","datavalue":{"value":{"amount":"+0.7591449022293091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905167$0D5D0EFB-BF57-458B-BAC3-01F9B4E217E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ab1f63a056a2d5a8fb921d9ffa927bfbcbc1e7","datavalue":{"value":{"amount":"+0.7451746463775635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905167$12109B50-0945-4775-A115-DD36D13E6751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcbfa10c51a9c70912e92adba6a0a76644b0d28","datavalue":{"value":{"entity-type":"item","numeric-id":3314967,"id":"Q3314967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49f5cc0e1fc284ee6118b92d26fc735f197f736","datavalue":{"value":{"amount":"+0.7420789003372192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905167$5DE9A907-AFEB-4C48-B0E3-F33444A57E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67aa516e0a04f668e1482aa0de852d1e59b6bc00","datavalue":{"value":{"entity-type":"item","numeric-id":3758257,"id":"Q3758257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972d369dd7c680868a0e3b0596398125d07af5c4","datavalue":{"value":{"amount":"+0.7400326132774353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905167$A41BEE84-4B1B-4C10-B93F-508F73A74B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9357c790ac27b804b204064f9b7eada575498fb","datavalue":{"value":{"entity-type":"item","numeric-id":1359292,"id":"Q1359292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6978b0559775c593e52e67ad8cec0db48a769166","datavalue":{"value":{"amount":"+0.739808976650238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905167$3EC5AB53-2B52-4A89-A859-830B5B065726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic production systems: Analysis and synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_production_systems:_Analysis_and_synthesis"}}}}}