{"entities":{"Q3801054":{"pageid":5830960,"ns":120,"title":"Item:Q3801054","lastrevid":87687302,"modified":"2026-06-04T12:21:28Z","type":"item","id":"Q3801054","labels":{"en":{"language":"en","value":"A predicate-transition net model for parallel interpretation of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068258"}},"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":"Q3801054$8E75AEC2-B455-4E44-8538-A189F73E7691","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f18ad4b15cfddc8d7e8450c69e606ecdb7467e89","datavalue":{"value":{"text":"A predicate-transition net model for parallel interpretation of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3801054$8271386A-23D6-4E31-AAF1-04403625E5AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7ff469fa7220794f93b1168e5fcf7348f3b527b","datavalue":{"value":"0654.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801054$92CD6D05-254D-469A-8AEB-050B3487A109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4708014dd884cc34ee820c42247ab2a92bb518fd","datavalue":{"value":"10.1109/32.4671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801054$9767EFA1-E289-43BE-BD06-2B8BC1B03E42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce85aaf46b395f0892eeaebe90472f33a06dfa3","datavalue":{"value":{"entity-type":"item","numeric-id":1052099,"id":"Q1052099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801054$9A23C9E6-79B5-4024-9AAF-DA7B29C3C1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c2a05d7444787b127325aef194ff76d93257ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3225377,"id":"Q3225377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801054$92102967-3B6C-4D18-8144-069CF5BD7F3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801054$0F054B34-687C-49D5-BB25-FA523F93929D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3801054$7EA56235-93AF-464F-B899-FD227C1D038F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801054$16A2F9EC-ADC1-4B85-B0FA-B5DAC7CBB6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801054$F303F84E-8FF9-4BA4-A79F-C81874941E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801054$28E277F9-95C3-4C47-B6E0-8AECBAB5209B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa8e3d7879c852916184e42ab5f2fef685ba820","datavalue":{"value":"4068258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801054$0E0C10E5-3422-4EC7-858C-0C19E7C6D59B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d92d85ab7b51841850acb892e6dba6403b39f3d","datavalue":{"value":"and/or parallelisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$B95DBD09-0172-43E5-A64A-A09C69234D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36f41659f406fe5e6141df559369fc6476249c0","datavalue":{"value":"fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$113A2657-E2CB-4131-B5AD-72508A57CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$132660AD-9A05-48D5-B9FB-EFE9630CFAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51492a141adf6810b6b8b5e01120e0fa3a41031","datavalue":{"value":"relational operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$28AE673C-7AFE-4AA2-9DAF-2DA800F6C74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc5c51a5408a91ecf51c3113ad6c8a8043c69e2","datavalue":{"value":"predicate/transition net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$C57B5A93-2F20-40FC-858C-7FDB73538FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e950e8d28baf59be2ce03e273891db53689b89f9","datavalue":{"value":"Horn clause logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$8B10C2B4-F0A6-43E2-98C8-017745E92BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eca6ad3fd9f1d1cb8097df8ac59b23e0d0ed1fd","datavalue":{"value":"communication processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$DAB63703-6DAA-4F96-8653-C8F66BE9BE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceba06b9c590de713a96c4382d37fc6b9ebc4183","datavalue":{"value":"deduction method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$B0848FC8-F535-40F5-8E9A-56CEA9D980B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5e0888fa9957c443e210eb3c88f717e276ae13","datavalue":{"value":"parallel processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801054$2B060A8A-D826-4116-BA41-308209FC5B4B","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":"Q3801054$A53CEF53-4D8B-4322-BEE4-D0C21C12FF4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"710ef7c99516b9b96d02b8a8b92079226a5cde55","datavalue":{"value":"https://doi.org/10.1109/32.4671","type":"string"},"datatype":"url"},"type":"statement","id":"Q3801054$63EFB991-0BD7-4C01-9F2C-E8A176607A9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2f8307b9e6d29364ecb3e7d0c927fc0779d2c71","datavalue":{"value":"W2139756789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801054$C6C997D9-EF3E-4698-9457-88F4566ADDD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428f9249614179310b3d2f86cf529bb84b59ce7d","datavalue":{"value":{"entity-type":"item","numeric-id":4207562,"id":"Q4207562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55e85ce1a2bc6dc52a9710ddcc1a0c224541f43","datavalue":{"value":{"amount":"+0.7270926237106323","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":"Q3801054$836DA03E-A579-4AAC-8A10-4EC2E5CAE422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16bb8183f7140f43e574cb876ec1e130ca11b296","datavalue":{"value":{"entity-type":"item","numeric-id":1115584,"id":"Q1115584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6de10da2ba8a5309f4ebc8e5aa365bf494bc9af","datavalue":{"value":{"amount":"+0.7198650240898132","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":"Q3801054$11FC4723-ED8A-4D56-AA17-6502E863EE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410cae0598e6d0949b6b0e8a05b6603428148a68","datavalue":{"value":{"entity-type":"item","numeric-id":2496550,"id":"Q2496550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b364916c1bc53622b097a0ea878023f45bf5e289","datavalue":{"value":{"amount":"+0.7036455869674683","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":"Q3801054$98EF6604-010A-4004-965C-3882FFE1F773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42384f8498eee2cd87c28c79ecc8b57dc1cbcb40","datavalue":{"value":{"entity-type":"item","numeric-id":3197326,"id":"Q3197326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdf6a5906e29fca8278e2e2eb7e1d4eab9a96b8","datavalue":{"value":{"amount":"+0.7033202648162842","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":"Q3801054$8840E65C-898C-43B3-B67C-C0AA3E12DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4576a9af62d24dec7159962ec550baec75d11f56","datavalue":{"value":{"entity-type":"item","numeric-id":1077925,"id":"Q1077925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e008483d18abe1c2276263eadbaf3374cd35ec9","datavalue":{"value":{"amount":"+0.7014377117156982","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":"Q3801054$3455BE3F-DD0E-4768-A031-BF3DE45F21CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A predicate-transition net model for parallel interpretation of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_predicate-transition_net_model_for_parallel_interpretation_of_logic_programs"}}}}}