{"entities":{"Q671512":{"pageid":673361,"ns":120,"title":"Item:Q671512","lastrevid":63457728,"modified":"2026-04-11T13:17:45Z","type":"item","id":"Q671512","labels":{"en":{"language":"en","value":"Forum: A multiple-conclusion specification logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983345"}},"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":"Q671512$7C0D4B8C-29F3-4B87-A944-510272F05943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2afc28bff309f6a65383b9666d32353c80680375","datavalue":{"value":{"text":"Forum: A multiple-conclusion specification logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671512$CAF601A6-F394-403B-994C-0FF1C9AE615D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a212df59718b33e1657ca089602e47b9238f2be","datavalue":{"value":"0872.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671512$728E2C12-6054-41B3-A363-929DB63EF738","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27fa095e47c2dd939b8c2ff05f7b8fbc5cd7e6eb","datavalue":{"value":"10.1016/0304-3975(96)00045-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671512$4F0900DC-1F59-444F-A219-EAE5A2F81856","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$F927F264-9847-4676-926A-3DFABAA0FB58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671512$05C5EE12-2003-41DA-88F7-521F1C7A8A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671512$7A0BE5DB-6254-47C8-937D-C3152DDFC175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a83be83bc4266705bbddb02ea5986ebcc6ea665","datavalue":{"value":"983345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671512$C42CB960-1A51-4DB4-9BF4-109E41456F9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$48D293C8-308C-410D-8D02-A1463403BA34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$65E5820F-3007-4C9E-BFEF-D40F4D6FDD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$974C0B3F-D74A-44F0-BD8A-17343D7D406F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$C25CA324-BEE9-487E-A00B-08A4A4E889D2","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":"Q671512$EAF0C3F0-E463-487B-B19F-D6B3897B56DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$ACEE6F45-5CC8-47CC-A392-0E3516679A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaa3f7e97d228d907b8c697808a7482aef33deb","datavalue":{"value":{"entity-type":"item","numeric-id":3357521,"id":"Q3357521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$64879935-D1D8-42FC-BCD3-7AE31F71E128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$97C8DC27-F9D4-427E-B7F5-4DDEE097321C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6bf99cfc752b3148778ea996f0f8c7e20512af","datavalue":{"value":{"entity-type":"item","numeric-id":3819967,"id":"Q3819967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$143166DE-3129-482A-9427-0AB282E8E924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94a2fe58e64b528f4d29cb8a45205f6ae980a02","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$9EEDF2FC-68D9-4E41-8470-7AA7E6C97374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$3909FFB5-E070-429F-AACA-D1976ADB0BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$4FE1B781-508D-438B-AEB5-10889EA4A9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300630766ec86b921b5479129314a6a7d1c9a139","datavalue":{"value":{"entity-type":"item","numeric-id":4395687,"id":"Q4395687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$45D669E3-6F46-4454-A37D-705DB8FC0583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$42D49638-C3C6-42C5-BD58-27933FF21AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$5B94F750-4056-4ADB-B012-D33264BF33B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$1401F9D7-6B1B-4413-AF5E-D4ADDC9B48FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$1A531F51-FCF4-44A8-AE2B-60C1F9DE89F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$94B34CB7-0C19-47C9-892D-2576F6697CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$6136A5C5-64FA-4EDB-9DFD-642E9CA719C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$9E8E8D3E-84F3-496F-8CB4-2512B24EB7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$5A1113FA-11FF-4584-B1E0-2BBC6A08EB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671512$224A9259-5487-4894-8D0A-0A0B0A473467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b73dc2545a1f431d4c265e6154ea91fad7453b0","datavalue":{"value":{"entity-type":"item","numeric-id":3607410,"id":"Q3607410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce938abed3a57c3b6dda96c357b7968c3ec4038","datavalue":{"value":{"amount":"+0.8708311","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":"Q671512$0CA5CBAC-065B-4F18-8591-C9DE27F5B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72054ae9214b82050dd2e518b2e67b1a42551f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1935593,"id":"Q1935593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994e4b32dfc894b980a39d92dd2e3e93f725a4b6","datavalue":{"value":{"amount":"+0.8610183","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":"Q671512$A5FE9941-2896-4578-BD9D-3BE3EB052FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dadf4395755cec69ca5c190187907a1851fa6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4222845,"id":"Q4222845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5274264539f276b34c21f3e33a565482f8705de","datavalue":{"value":{"amount":"+0.8606869","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":"Q671512$8D98ADB2-0219-4F0A-AA3F-CD5817B29823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fb3555519291abb8cb2dfecaadef95c2e47d06","datavalue":{"value":{"entity-type":"item","numeric-id":4575567,"id":"Q4575567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a249faf3c1cb6d28f96a9ce3cb7b209521c6ee8f","datavalue":{"value":{"amount":"+0.85456955","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":"Q671512$371C58ED-636F-4181-A0F1-83CAC62E4039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9af094cb20226c99db0cb8ff7bed51d584eaa7","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58492ee3fc8b90678e3f5113a9aba70a720ca483","datavalue":{"value":{"amount":"+0.85271454","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":"Q671512$B99DBD5D-139E-476A-B689-DEE1794A0126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a1328b7a3864d26a2a7e6fd4e837c6109bd8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1682294,"id":"Q1682294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ff099cb5b0b62ffd6ed791c63d16d4541dbff1","datavalue":{"value":{"amount":"+0.8495524","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":"Q671512$27283EEF-2529-4CE7-B993-3372F3047545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c0b5a56fda9883752d3d48e90ec7cf7985a97f","datavalue":{"value":{"entity-type":"item","numeric-id":5957913,"id":"Q5957913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d7789fd3e8c5e0a8fb1150d2908e3e8964c961","datavalue":{"value":{"amount":"+0.8491313","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":"Q671512$542B3242-C463-47A5-9916-9A565D8EC6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a13c7cabd5abd215f094760f1fef9fd42ee487","datavalue":{"value":{"amount":"+0.84899735","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":"Q671512$83775FCC-3BA5-4070-A709-B0A844117EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1779ed0ab7bc712d6151e770a2ab4421daa146","datavalue":{"value":{"entity-type":"item","numeric-id":5224893,"id":"Q5224893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d477d7fef0472398b4f64b86e86836de7d21757","datavalue":{"value":{"amount":"+0.8489044","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":"Q671512$1CE23471-153E-4F66-AAAF-1EF5A7638805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5152c5f62b832960b24c803b256d03e50e12e429","datavalue":{"value":{"entity-type":"item","numeric-id":2470763,"id":"Q2470763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855a65201f9b58004edd9bf41de2dc12192072b3","datavalue":{"value":{"amount":"+0.8469808","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":"Q671512$AD700E88-B402-4821-A4A3-AD914048575E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forum: A multiple-conclusion specification logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forum:_A_multiple-conclusion_specification_logic"}}}}}