{"entities":{"Q671672":{"pageid":673521,"ns":120,"title":"Item:Q671672","lastrevid":63589293,"modified":"2026-04-11T14:11:13Z","type":"item","id":"Q671672","labels":{"en":{"language":"en","value":"On behavioural abstraction and behavioural satisfaction in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983437"}},"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":"Q671672$C89959ED-A663-44FE-9849-1DFC9166058C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af44db01dafc4ad4f77ce67c09054d9dc92fcca6","datavalue":{"value":{"text":"On behavioural abstraction and behavioural satisfaction in higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671672$B2611F37-7AB0-4373-B7F3-875FACB975EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87fd6b1d0af551c243a677723c1defd25324c0e9","datavalue":{"value":"0874.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671672$7BBEDE82-18E8-4CDB-B89F-C3A4C6AC3142","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e02f3d96377347412099cf4c545297e71ce8440f","datavalue":{"value":"10.1016/0304-3975(96)00068-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671672$A9CF394D-437B-4773-82A4-66600D00380C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$9EFEE136-D73C-46DD-9787-28A5B2F68104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$C4BCBF11-41A3-435B-8F3C-D9AFAD38DD4A","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":"Q671672$893301FE-8DDC-4A6B-A208-735AE86375FB","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":"Q671672$931B7BF3-D9DE-46F5-8E10-FA4434E4A192","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671672$6223BBA2-EEDA-484E-A0EE-F25F6A4E8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671672$3350606B-75B6-4F9D-8DCF-856CF0623F2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b61e7e710d130d959db9251d5e7eed2b8e376d89","datavalue":{"value":"983437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671672$88C3EA6F-1863-44EC-9456-6AF268644265","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":"Q671672$FF84AA34-86C5-4583-8AB0-30671871F1FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d5519d10ef5a33b48fafc2d82152050956270fa","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00068-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q671672$CD9E58EC-945B-45D6-8541-D950B29790EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"557fc9695ccc52b97acba9f40573aa0a4540e0eb","datavalue":{"value":"W2073899607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671672$BFCB32BE-AFBE-4C7C-80C8-9C973D63AC13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84698189a50e68a968ad8809e48eb018458ce59","datavalue":{"value":{"entity-type":"item","numeric-id":1127821,"id":"Q1127821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$3AD81D3F-F41C-43D0-8C05-49AE4879D668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8c0a1c5a6789fc1a00bbb6e6b2a299b295d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":671500,"id":"Q671500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$E0E3B722-81A6-40F2-B250-0B9A1B7A3EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd513c7c8b6510483a52190c8c99b422eefe9a","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$77063ADB-FD9C-440F-B4AB-92104FD2C605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3813ab614a97a156330c623ed2e7bf909d45fa","datavalue":{"value":{"entity-type":"item","numeric-id":4105777,"id":"Q4105777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$10EE9C08-86E8-4D43-820D-968BCDB3741F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$57DFC933-402C-4B59-9166-B557E05DEDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$37366C9A-D543-452F-851E-0899832507A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bb4d13ba9b44ec359f7e88a5b3439acbd7bf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1179807,"id":"Q1179807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$7FAD62A0-1FE3-4203-9051-96B0BB774611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8911f179e1dda1e4b5366035f32a2a5fd773bc95","datavalue":{"value":{"entity-type":"item","numeric-id":4842536,"id":"Q4842536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$B7313575-3DF4-4FBF-85C7-82DE22A0A79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b6d9441aac6897b5d45a7a0f662fb26bdc2630","datavalue":{"value":{"entity-type":"item","numeric-id":1391731,"id":"Q1391731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$8501024B-25FD-4D85-8821-2F78ABFEBB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$D0815EF4-F683-4972-8AAE-F0271C1D63A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$013FF7D7-AE10-4FD1-8CA8-E5019A86F174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$78F48491-8C51-48D5-8A95-C63C5238D130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5187b6b70dd7b7ee35ad6f786351fe108b3829e3","datavalue":{"value":{"entity-type":"item","numeric-id":3816965,"id":"Q3816965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$0EF14B9E-CF12-4838-8625-2467236FF6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d1f0f5487f8c0ee42819e7149f6be853525c70","datavalue":{"value":{"entity-type":"item","numeric-id":4729318,"id":"Q4729318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$AE5CC093-6E76-413D-9158-CA7928D5EE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd76867e6232156b14ed3debfc96b2605d9c09e","datavalue":{"value":{"entity-type":"item","numeric-id":4725725,"id":"Q4725725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$48C5885E-F939-47F8-9235-8DE016322063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd1521b09c28288aac5eba941cf98ad93dad22a","datavalue":{"value":{"entity-type":"item","numeric-id":1089796,"id":"Q1089796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$E8FBCC41-7F90-4A56-929D-B4449B6F3274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$24B893C1-E26C-4DB7-AFCE-29E658B30585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$748BF061-5A47-4A02-8C84-1264F3C274AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$3F60851E-AB68-4AE8-97BD-B307477B2D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b7dc78d451a14c2cf14f462f9b01ae5cf9569d","datavalue":{"value":{"entity-type":"item","numeric-id":4702598,"id":"Q4702598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$99A0166C-C8A9-4067-80A1-A26987894D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"369a2e088c752a2e7cee445b7a47ed41f74c37b4","datavalue":{"value":{"entity-type":"item","numeric-id":4942099,"id":"Q4942099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$657E13B3-A616-4787-8C9D-B973CD6F79BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e729b9d812db35a50bbc3f596c98bea6b96263","datavalue":{"value":{"entity-type":"item","numeric-id":913484,"id":"Q913484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$272DE962-AC29-46B8-B95F-B8F4A11948AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045d051d4fcfe048fcd6f25d3d3ad7121a5ede5a","datavalue":{"value":{"entity-type":"item","numeric-id":1323373,"id":"Q1323373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$B0085529-8C85-432D-B2D2-87BC6C86DDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$EA7F5994-031A-4001-80A8-6890E670EDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$5AD4ED26-6E69-480F-BBDD-6CDCC5A8C52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671672$75D7B638-EE46-4185-96F3-63E5F7125CE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f787a569e49dcdb69bbb1e2a71d6560a60bf6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5096735,"id":"Q5096735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abf2a3cd57fe44a48835ecea0e3bb7a0d0ae176","datavalue":{"value":{"amount":"+0.9980633854866028","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":"Q671672$7B515C01-7798-4C71-B993-391AC7390DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aebdf736ab42d4c63a362e14d4af8b113c836db","datavalue":{"value":{"entity-type":"item","numeric-id":724932,"id":"Q724932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efd24636ad2b4f5344e0a32525cd1c94186cee1","datavalue":{"value":{"amount":"+0.8234015107154846","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":"Q671672$3879153B-A9F9-4469-9606-B8CB6DC559D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88171fcc5a47065804afc73cb1259f99e8125af6","datavalue":{"value":{"entity-type":"item","numeric-id":4537506,"id":"Q4537506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9c0d455d91e64edbf023cb0b078e87ce924524","datavalue":{"value":{"amount":"+0.7983635663986206","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":"Q671672$8A0F8B98-74D8-4EA9-BA3A-04932262FB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b46880fad361ea9cb7025012869a05149d74c06","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca945aa28e253d5edb7801335239bc77b0dfe98","datavalue":{"value":{"amount":"+0.7783784866333008","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":"Q671672$2E13A9D3-9633-4E10-B2E9-4700BE90C8B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On behavioural abstraction and behavioural satisfaction in higher-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_behavioural_abstraction_and_behavioural_satisfaction_in_higher-order_logic"}}}}}