{"entities":{"Q5096735":{"pageid":7126311,"ns":120,"title":"Item:Q5096735","lastrevid":54383486,"modified":"2026-01-26T17:56:06Z","type":"item","id":"Q5096735","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 7572968"}},"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":"Q5096735$F06B84D7-B84A-4AF2-AD56-3B196DF7C1EC","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":"Q5096735$BE152D60-3ACB-46AC-892C-AF57E238B4F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3776505f68e5c80b5066a9d94133e97a4400c172","datavalue":{"value":"1496.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096735$FD5E574A-D085-42E7-A553-D8981A734BD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"680345ec390a7c8a6867df989499de8eee1a33ad","datavalue":{"value":"10.1007/3-540-59293-8_199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096735$45D533AA-F047-4B1B-A3CE-A66D30CCBA7C","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":"Q5096735$BA97A0D9-C332-48CF-97FA-2C11256AEEFC","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":"Q5096735$9629BD28-541D-428B-B380-36FFB991BCF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096735$91AD80DA-65C3-4D38-8182-37CE9A2A7873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096735$46289BE8-A180-45C0-9C53-CC501C7123A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096735$6F117776-C5A4-4AFC-A74E-013EC4A9C1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096735$408068E7-50B6-4721-8E39-9649EB0E4AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096735$9EC50C12-A9EA-433C-A576-7B3575DBE52B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ea191effc37f85290f1f360c2a2f024d141476d","datavalue":{"value":"7572968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096735$73C7BC15-7425-42AB-B7DA-85195F71B31B","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":"Q5096735$BB1DE673-CCBC-4999-8FA5-C247193D701B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ef06ed5e9c3db244fafb3c2b930edb58498e192","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_199","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096735$381BB818-C551-4783-BA14-01F5AB511F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c7d159e2f50f94e4744c874294a82959f8d91f","datavalue":{"value":"W1694382542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096735$517BEC8C-7C9F-472F-9CF8-B4789CAD06D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befafb112dac54ca90221f0b09473209ec97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4537506,"id":"Q4537506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096735$7ED5338A-0004-4CAC-AA34-531631E26852","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":"Q5096735$3D4B3308-A56B-4099-AC39-F93E2E0757A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a45c51a86a039f2e60a3e3ce04bb8f44861422","datavalue":{"value":{"entity-type":"item","numeric-id":671672,"id":"Q671672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096735$E48F6BE6-7477-4EC6-8A02-4EBBB8E9572F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab989e08a4b12e210a3d70bebf4de4b3e23f036","datavalue":{"value":{"entity-type":"item","numeric-id":4312482,"id":"Q4312482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096735$E6E5C834-88E1-476B-84C3-A24BDE3F34F5","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":"Q5096735$1AE209D0-F868-4DFA-B9A0-09F8EDE094E7","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":"Q5096735$2B1C6EFF-A5F7-4564-A065-68EAEF66F8C2","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":"Q5096735$83DEF9C2-095E-4778-9C46-F271F3C998BC","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":"Q5096735$2FC29D9D-0A0A-43C9-801D-6872B59B5699","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":"Q5096735$6418CCEE-888D-4FD5-B7F5-C901650F8C0B","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":"Q5096735$6BC741F3-1880-4016-9303-B831E96F0540","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":"Q5096735$FE2A30A8-B67B-4693-A705-CD974D24A0D7","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":"Q5096735$90522205-7A08-4406-B8FF-7B056CC0EC05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d3d24ca29e08a47fdbec5b79e3f3815a601a20","datavalue":{"value":{"entity-type":"item","numeric-id":671672,"id":"Q671672"},"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":"Q5096735$40C46BFF-6AED-42E5-92F6-54F59961BA0F","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":"b79b1dc579194e7083698aa5572a5a840fd01026","datavalue":{"value":{"amount":"+0.8217256665229797","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":"Q5096735$0BCBFAC6-3CF3-4563-BD48-95345DCC260E","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":"4800ee05694c6d67a69acccc02733422d605c802","datavalue":{"value":{"amount":"+0.7971118092536926","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":"Q5096735$30277FC2-3512-4E5A-9EDE-464CA0FED366","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":"f21b2461dd96ee7c2f4658f12a6b9e3e4d0554db","datavalue":{"value":{"amount":"+0.7794239521026611","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":"Q5096735$BEA3FDF9-989B-4560-A72E-6D1F648A440A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c5b68931cb6f92af8944912044dea6d82ae0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842536,"id":"Q4842536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21b2461dd96ee7c2f4658f12a6b9e3e4d0554db","datavalue":{"value":{"amount":"+0.7794239521026611","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":"Q5096735$DAB48C74-1ECC-4C64-9F33-231E74487D4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096735"}}}}}