{"entities":{"Q6564892":{"pageid":14176047,"ns":120,"title":"Item:Q6564892","lastrevid":103539833,"modified":"2026-06-06T07:34:30Z","type":"item","id":"Q6564892","labels":{"en":{"language":"en","value":"Complete inference via knowledge Petri nets and resolution rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7873990"}},"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":"Q6564892$C9D93913-96F9-4F3F-A507-B8AE1EE22AD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecf93c4314d026420d41be1281234dfa23013892","datavalue":{"value":{"text":"Complete inference via knowledge Petri nets and resolution rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6564892$C4863AF0-7300-4ABB-B39F-4E800EA5D32C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4733134d6510280327c3643d3746c9db41ed81fb","datavalue":{"value":"1540.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564892$B08E27C0-D2FE-4B39-A36C-4C910BCC4F59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e53dfcf1f5b8195ef832466e0c79291bcf1dddcc","datavalue":{"value":{"entity-type":"item","numeric-id":2056353,"id":"Q2056353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$B589D39C-FDA7-464A-A961-71BEA81CE7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e34a4b98bd9a6026b8487dfdf149800a628b5b","datavalue":{"value":{"entity-type":"item","numeric-id":445128,"id":"Q445128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$025662FE-5D4F-4B3F-9F3C-5B5781228878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02b8e8a95d1ed672232f324a9f935c6e5a4b5e6a","datavalue":{"value":{"entity-type":"item","numeric-id":6564891,"id":"Q6564891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$DA48BEE4-03DE-4892-9344-0CBE8C5B03AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c94b6ddc7c76cefdd513162a1a9b8fda030100b1","datavalue":{"value":{"entity-type":"item","numeric-id":2983855,"id":"Q2983855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$4237D9FD-9030-43E8-B0AF-2C024BB5F4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$4146C6FD-0083-4E48-9004-EC0915976143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$B2C74653-86A9-4824-9084-B85D9B226338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ad38fe45e736da7b933e7fb9aab0b9eb039636d","datavalue":{"value":{"time":"+2024-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6564892$3DFA981D-4651-4BC6-9E8F-C6C45E9A03D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564892$F3EE6D1E-E64F-420A-B7AD-6DE2471C9416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564892$5ADC213C-1F04-4225-BFCF-583D4D0FDBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564892$CEA25282-A32D-4CE9-BCA6-8B220E220255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564892$84CD0AC3-9349-4D8A-A5E8-7C8B0070DD92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2549de8efffef4b2677c3b704c6a57641d3a76c","datavalue":{"value":"7873990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564892$200E9857-5BC3-4A64-8F73-1EA256F9D04B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564892$E0D5AF69-6B95-4C8B-A364-379E04BE3961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf64b171c2abd7f5012ab962f1c731d8efd394a","datavalue":{"value":"inference method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564892$16764824-59C5-495E-832B-AE43ED4A39A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564892$4235F133-AF32-4C91-BBFE-D1D8B89FC53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564892$71844081-5F0C-4506-8643-8DF16D7BC989","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":"Q6564892$F9B5D098-6A42-4D66-8850-DCE17B94AEE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$FCDE001C-49D1-4B54-B262-25D468E790EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75089528348e2ee7d07dc2ae126b0ed3005ed24","datavalue":{"value":{"entity-type":"item","numeric-id":4096460,"id":"Q4096460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$536C6A3F-BDD4-40F8-B2C4-08C80071FFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8dc4e8b53658c6e547c691f2d941d3a0e7a9b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2817931,"id":"Q2817931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$5A1BF5E6-5DF7-4F44-A9DF-5EC04EC29EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$1E8AC9C3-E5CE-4CAF-A2F8-A6957BE6543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$70C1405F-EEA1-40D5-87D7-D2688391E659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632995204e3b2b92d723af23be59eb4150423","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$0495ACAA-64C7-4B79-B24F-EA28502B754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e169af1b2927cc066a8cc188c6dd43f7cce9298","datavalue":{"value":{"entity-type":"item","numeric-id":5591533,"id":"Q5591533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$FB41FB25-205A-46FD-AFB5-E3E7602D14E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c17d4e5ffe93a495e89413313ef5447152dfd2","datavalue":{"value":{"entity-type":"item","numeric-id":820148,"id":"Q820148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$32D29F70-1DCC-4409-B08E-D50124840D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f49c168bd3b1b635f8641a3778183671a26c45","datavalue":{"value":{"entity-type":"item","numeric-id":4797437,"id":"Q4797437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$25B1D9B0-1958-4D0C-8996-D939D6C50D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678ab028e64aa47294ec33138952f2e29114a933","datavalue":{"value":{"entity-type":"item","numeric-id":2817933,"id":"Q2817933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$5C4B4474-7143-4B24-B9A1-845715D619B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$B0B164C5-3EE2-4FD5-B6E3-EF7AE7F0E9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$91D9A8CA-AF5E-4E33-941B-CA70EFAB41F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e551b2d060b8965cadca4345211c5e2b02df8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3680268,"id":"Q3680268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$A3A472FD-CEA3-4435-8566-C8636E9E0C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdb068e0abec36737504115900aa3703f78ac05","datavalue":{"value":{"entity-type":"item","numeric-id":3817016,"id":"Q3817016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$E377D866-55AE-4901-A361-998F3DE45E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d552f458226d0409586e0de6f021b1fe3bfd29a","datavalue":{"value":{"entity-type":"item","numeric-id":3045263,"id":"Q3045263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$106AC867-DEDF-4048-8250-23074BF2EAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed87334d81f7c0514db0d693fd9874b860022125","datavalue":{"value":{"entity-type":"item","numeric-id":3550620,"id":"Q3550620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$8385788F-50A4-46A9-95C0-4612A78E411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c46e958e32c96d715e70491cabb81b3b70ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3801054,"id":"Q3801054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$8C73AF9C-64CF-48A9-9446-8467476C4ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510ece955154f1c0164d09cf9ff7520b411a0541","datavalue":{"value":{"entity-type":"item","numeric-id":2195398,"id":"Q2195398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$A77D6F96-05CE-462F-82B7-A7B9639DF9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc71eea13b5211e9ccab578cb8e887a0535c0368","datavalue":{"value":{"entity-type":"item","numeric-id":5282376,"id":"Q5282376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$8ABB0EAA-EC9C-4CAD-B0FF-DBA9BEDFC0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc16f489c0fc5b4d477add1eb65b916060b291ef","datavalue":{"value":{"entity-type":"item","numeric-id":5211348,"id":"Q5211348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$5DAA0C42-BA66-40A7-A64C-ED0008736B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7ba22777365505ba474b23b00b79e76babe84b","datavalue":{"value":{"entity-type":"item","numeric-id":2056355,"id":"Q2056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$F827FF91-95C3-4A71-A299-5F7A8009541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd94a254cb7563f58a96d7f9fd6d6f00c00c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1911289,"id":"Q1911289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564892$9AFF52E3-E411-4B0B-B820-49EE30DBD856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18d46907101959dd7a34cb2405426018c69d8307","datavalue":{"value":"10.1016/J.INS.2024.120816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564892$3A6B64E9-D230-49CA-B5F2-8CFF3B9AED15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6effa43d6010e1a0216eb87b866c136589c4f272","datavalue":{"value":{"entity-type":"item","numeric-id":2056355,"id":"Q2056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff64d3050d405207b65f4f2e4d776a88127cde2","datavalue":{"value":{"amount":"+0.8353877067565918","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":"Q6564892$FCD66A15-537B-45BE-B243-E1BE16055611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce885881e12020107549ef432056027800608ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830981,"id":"Q3830981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e0dc2602b6f5562cc8b49fa34750acbcc5162b","datavalue":{"value":{"amount":"+0.7386762499809265","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":"Q6564892$158FD397-9BDF-48D6-808B-C7B244B84045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c22479c4ac66869483818410cdd38143b81410","datavalue":{"value":{"entity-type":"item","numeric-id":3090383,"id":"Q3090383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4bef623a679de3031a825b7cbc1d4d4a28906fd","datavalue":{"value":{"amount":"+0.7260587811470032","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":"Q6564892$7B7AF838-BFB3-430A-933A-5193D944A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df633d06c538e0f50d6e2edc02aca27b6de202b","datavalue":{"value":{"entity-type":"item","numeric-id":1182094,"id":"Q1182094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec26448e616727ff613ccf424923ac2b956ffb1","datavalue":{"value":{"amount":"+0.7238573431968689","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":"Q6564892$AFD89DD2-D31A-4E0D-BCBB-1788B1F7E2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df5dcbc89308f1ab32ad68892b8a7aebbe75a76","datavalue":{"value":{"entity-type":"item","numeric-id":3773401,"id":"Q3773401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d379475e571c187927991de672091ff1036002e","datavalue":{"value":{"amount":"+0.718917727470398","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":"Q6564892$1C0F6D68-11F4-4DBE-BA22-2D0D5764D1EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete inference via knowledge Petri nets and resolution rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_inference_via_knowledge_Petri_nets_and_resolution_rules"}}}}}